Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
123 | Michel Vasilevski, François Pêcheux, Nicolas Beilleau, Hassan Aboushady, Karsten Einwich |
Modeling and Refining Heterogeneous Systems With SystemC-AMS: Application to WSN. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
71 | Alain Vachoux, Christoph Grimm 0001, Karsten Einwich |
Towards Analog and Mixed-Signal SOC Design with SystemC-AMS. |
DELTA |
2004 |
DBLP DOI BibTeX RDF |
|
64 | Rodrigo Cortés Porto |
Integration of SystemC-AMS Simulation Platforms into TTool. (Intégration de Plate-formes de Simulation SystemC-AMS dans TTool). |
|
2018 |
RDF |
|
64 | Liliana Lilibeth Andrade Porras |
Principles and implementation of a generic synchronization interface between SystemC AMS models of computation for the virtual prototyping of multi-disciplinary systems. (Principes et réalisation d'une interface de synchronisation interopérable entre modèles de calcul SystemC AMS pour le prototypage virtuel optimisé de systèmes multi-disciplines). |
|
2016 |
RDF |
|
64 | Benoit Vernay |
System-level modeling and simulation of microelectromechanical systems for multi-physics virtual prototyping in SystemC-AMS. (Modélisation et simulation haut-niveau de micro-systèmes électromécaniques pour le prototypage virtuel multi-physique en SystemC-AMS). |
|
2016 |
RDF |
|
62 | Alain Vachoux, Christoph Grimm 0001, Karsten Einwich |
SystemC-AMS Requirements, Design Objectives and Rationale. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Erik Markert, Sven Kühn, Jan Langer, Göran Herrmann, Ulrich Heinkel |
Ein SystemC-AMS nach VHDL-AMS Konverter. |
MBMV |
2007 |
DBLP BibTeX RDF |
|
47 | Thomas Zimmermann 0006, Mathias Mora, Sebastian Steinhorst, Daniel Mueller-Gritschneder, Andreas Jossen |
Analysis of Dissipative Losses in Modular Reconfigurable Energy Storage Systems Using SystemC TLM and SystemC-AMS. |
ACM Trans. Design Autom. Electr. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Wei Li, Dian Zhou, Minghua Li, Binh P. Nguyen, Xuan Zeng 0001 |
Near-Field Communication Transceiver System Modeling and Analysis Using SystemC/SystemC-AMS With the Consideration of Noise Issues. |
IEEE Trans. Very Large Scale Integr. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
47 | Zhaori Bi, Wei Li, Dian Zhou, Xuan Zeng 0001, Sheng-Guo Wang |
Mixed-signal system verification by SystemC/SystemC-AMS and HSIM-VCS in near field communication tag design. |
ASICON |
2013 |
DBLP DOI BibTeX RDF |
|
47 | Amer Habib, François Pêcheux |
Modeling and simulation of a manycore PCR-CE lab-on-chip for DNA sequencing using SystemC/SystemC-AMS. |
BMAS |
2010 |
DBLP DOI BibTeX RDF |
|
47 | Karsten Einwich |
Application of SystemC/SystemC-AMS for the Specification of Complex Wired Telecomunication Systems. |
FDL |
2005 |
DBLP BibTeX RDF |
|
43 | B. Lorente, Raul Aragonés, Joan Oliver, Carles Ferrer 0001 |
Behavioural modelling and simulation for heterogeneous design applied to aerospace inertial microinstrumentation development. |
SCSC |
2007 |
DBLP BibTeX RDF |
smart inertial sensors, UML, design methodology, behavioral modeling, distributed architecture, VHDL-AMS |
32 | Mohamed Amine Hamdi, Giovanni Pollo, Matteo Risso, Germain Haugou, Alessio Burrello, Enrico Macii, Massimo Poncino, Sara Vinco, Daniele Jahier Pagliari |
Integrating SystemC-AMS Power Modeling with a RISC-V ISS for Virtual Prototyping of Battery-operated Embedded Devices. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
32 | Enrico Fraccaroli, Sara Vinco |
Modeling Cyber-Physical Production Systems With SystemC-AMS. |
IEEE Trans. Computers |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Alexandra Küster, Rainer Dorsch, Christian Haubelt |
Structural Generation of Virtual Prototypes for Smart Sensor Development in SystemC-AMS from Simulink Models. |
DATE |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Rahul Bhadani, Gabor Karsai, Hao Tu, Srdjan M. Lukic |
Modeling and Real-Time Simulation of Microgrid Components Using Systemc-Ams. |
WSC |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Hanwen Gong, Hu He 0001, Bin Gao 0006, Jianshi Tang, Qingtian Zhang, He Qian, Huaqiang Wu |
ACCLAIM: An End-to-End SystemC-AMS Simulation Framework for Analog In-Memory-Computing. |
ICTA |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Seyed Hossein Hashemi Shadmehri, Ali BanaGozar, Mehdi Kamal, Sander Stuijk, Ali Afzali-Kusha, Massoud Pedram, Henk Corporaal |
SySCIM: SystemC-AMS Simulation of Memristive Computation In-Memory. |
DATE |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Alexandra Küster, Rainer Dorsch, Christian Haubelt, Karsten Einwich |
Virtual Prototyping in SystemC AMS for Validation of Tight Sensor/Firmware Interaction in Smart Sensors. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Tommaso Rizzi, Emilio Pérez-Bosch Quesada, Christian Wenger, Cristian Zambelli, Davide Bertozzi |
Comparative Analysis and Optimization of the SystemC-AMS Analog Simulation Efficiency of Resistive Crossbar Arrays. |
DCIS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Yukai Chen, Sara Vinco, Daniele Jahier Pagliari, Paolo Montuschi, Enrico Macii, Massimo Poncino |
Modeling and Simulation of Cyber-Physical Electrical Energy Systems With SystemC-AMS. |
IEEE Trans. Sustain. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Jakob Heller, Christoph Niemann 0002, Franz Plocksties, Christian Haubelt, Dirk Timmermann |
Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMS. |
MBMV |
2020 |
DBLP BibTeX RDF |
|
32 | Carna Zivkovic, Christoph Grimm 0001, Johannes Kölsch, D. Short, M. Ferstl, Dirk Denger, D. Krems, A. Barisic |
Bringing Uncertainties into System Simulation: A SystemC AMS Case Study. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Yukai Chen, Donkyu Baek, Jaemin Kim, Santa Di Cataldo, Naehyuck Chang, Enrico Macii, Sara Vinco, Massimo Poncino |
A SystemC-AMS Framework for the Design and Simulation of Energy Management in Electric Vehicles. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Yukai Chen, Sara Vinco, Enrico Macii, Massimo Poncino |
SystemC-AMS Thermal Modeling for the Co-simulation of Functional and Extra-Functional Properties. |
ACM Trans. Design Autom. Electr. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Muhammad Hassan 0002, Daniel Große, Hoang M. Le, Rolf Drechsler |
Data Flow Testing for SystemC-AMS Timed Data Flow Models. |
DATE |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Mohammad Radpour, Sayed Masoud Sayedi |
SystemC-AMS modeling of photodiode based on PWL technique to be used in energy harvesting CMOS image sensor. |
Integr. |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Muhammad Hassan 0002, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler |
Testbench qualification for SystemC-AMS timed data flow models. |
DATE |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Shunsuke Mie, Yuichi Okuyama 0001, Hiroaki Saito |
Simplified Quadcopter Simulation Model for Spike-Based Hardware PID Controller using SystemC-AMS. |
MCSoC |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Carna Zivkovic, Christoph Grimm 0001 |
Symbolic Simulation of SystemC AMS Without Yet Another Compiler. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
32 | François Pêcheux, Christoph Grimm 0001, Torsten Maehne, Martin Barnasconi, Karsten Einwich |
SystemC AMS Based Frameworks for Virtual Prototyping of Heterogeneous Systems. |
ISCAS |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Thiyagarajan Purusothaman, Christoph Grimm 0001 |
SystemC AMS based Co-simulation Framework for Cyber Physical Systems. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
32 | Martin Barnasconi, Sumit Adhikari |
ESL Design in SystemC AMS: Introducing a top-down design methodology for mixed-signal systems: Invited. |
DAC |
2017 |
DBLP DOI BibTeX RDF |
|
32 | V. Tran, P. Tisserand, François Pêcheux, Andréa Pinna 0001 |
Towards the simulatable specification of a highly customisable SystemC AMS alternator model in its multi-domain environment. |
SMACD |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Yukai Chen, Sara Vinco, Enrico Macii, Massimo Poncino |
Fast Thermal Simulation using SystemC-AMS. |
ACM Great Lakes Symposium on VLSI |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Víctor Fernández 0001, Andrés Mena, Cédric Ben Aoun, François Pêcheux, Luis J. Fernández |
Virtual prototyping of pressure driven microfluidic systems with SystemC-AMS extensions. |
Microprocess. Microsystems |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Martin Barnasconi, Manfred Dietrich, Karsten Einwich, Thilo Vörtler, Jean-Paul Chaput, Marie-Minerve Louërat, François Pêcheux, Zhi Wang 0005, Philippe Cuenot, Ingmar Neumann, Thang Nguyen 0007, Ronan Lucas, Emmanuel Vaumorin |
UVM-SystemC-AMS Framework for System-Level Verification and Validation of Automotive Use Cases. |
IEEE Des. Test |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Hanan Tawfik, Mona Safar, Mohamed Abdel Salam, M. Watheq El-Kharashi, Ashraf Salem |
Toward the interfacing of systemC-AMS models with hardware-emulated platforms. |
IDT |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Fabien Teysseyre, David Navarro, Ian O'Connor, Francesco Cascio, Fabio Cenni, Olivier Guillaume |
Fast optical simulation from a reduced set of impulse responses using SystemC-AMS. |
DATE |
2015 |
DBLP BibTeX RDF |
|
32 | Michel Vasilevski, E. Queiroz, A. L. Fonseca, Ivanovitch Silva, Sebastian Yuri Cavalcanti Catunda, Luiz Affonso Guedes |
SystemC AMS modeling of a sensor node energy consumption and battery state-of-charge for WSN. |
NEWCAS |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Sara Vinco, Michele Lora, Mark Zwolinski |
Conservative behavioural modelling in systemc-AMS. |
FDL |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Torsten Maehne, Zhi Wang 0005, Benoit Vernay, Liliana Andrade, Cédric Ben Aoun, Jean-Paul Chaput, Marie-Minerve Louërat, François Pêcheux, Arnaud Krust, Gerold Schropfer, Martin Barnasconi, Karsten Einwich, Fabio Cenni, Olivier Guillaume |
UVM-SystemC-AMS based framework for the correct by construction design of MEMS in their real heterogeneous application context. |
ICECS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Leandro Gil, Martin Radetzki |
SystemC AMS power electronic modeling with ideal instantaneous switches. |
FDL |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Yao Li 0009, Ramy Iskander, Marie-Minerve Louërat |
Modeling, design and verification platform using SystemC AMS. |
ISQED |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Ruomin Wang, Julien Denoulet, Sylvain Feruglio, Farouk Vallette, Patrick Garda |
Modeling of signal integrity in bus communications with timed data flow SystemC-AMS. |
FDL |
2013 |
DBLP BibTeX RDF |
|
32 | Daniel Chaves Cafe, Filipe Vinci dos Santos, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger |
Multi-paradigm semantics for simulating SysML models using SystemC-AMS. |
FDL |
2013 |
DBLP BibTeX RDF |
|
32 | Ruomin Wang, Julien Denoulet, Sylvain Feruglio, Farouk Vallette, Patrick Garda |
High level modeling of signal integrity in field bus communication with SystemC-AMS. |
ICECS |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Yao Li 0009, Ramy Iskander, Farakh Javid, Marie-Minerve Louërat |
A unified platform for design and verification of mixed-signal systems based on SystemC AMS. |
FDL |
2012 |
DBLP BibTeX RDF |
|
32 | Yao Li 0009, Ramy Iskander, Farakh Javid, Marie-Minerve Louërat |
A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS. |
FDL (Selected Papers) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Christiane Reuther, Karsten Einwich |
A SystemC AMS extension for controlled modules and dynamic step sizes. |
FDL |
2012 |
DBLP BibTeX RDF |
|
32 | Sumit Adhikari, Markus Damm, Christoph Grimm 0001, François Pêcheux |
Tutorial T1: Design of Mixed-Signal Systems using SystemC AMS Extensions. |
VLSI Design |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Jon Pérez 0001, Roman Obermaisser, Carlos Fernando Nicolás, Iban Ayestaran |
Modeling time-triggered real-time control systems using executable time-triggered model (E-TTM) and systemC-AMS. |
Comput. Syst. Sci. Eng. |
2011 |
DBLP BibTeX RDF |
|
32 | Karsten Einwich |
Introduction to the SystemC AMS extension standard. |
DDECS |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Fabio Cenni, Serge Scotti, Emmanuel Simeu |
SystemC AMS behavioral modeling of a CMOS video sensor. |
VLSI-SoC |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Henning Kleen, Shangkun Xiao, Ralph Görgen, Nico Bannow, Wolfgang Nebel |
Automatische Übersetzung von MATLAB/Simulink-Modellen nach SystemC-AMS. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
32 | Fabio Cenni, Serge Scotti, Emmanuel Simeu |
Behavioral modeling of a CMOS video sensor platform using systemc AMS/TLM. |
FDL |
2011 |
DBLP BibTeX RDF |
|
32 | Mu Zhou, René van Leuken 0001 |
Systemc-AMS model of a dynamic large-scale satellite-based AIS-like network. |
FDL |
2011 |
DBLP BibTeX RDF |
|
32 | Fabio Cenni, Serge Scotti, Emmanuel Simeu |
A SystemC AMS/TLM platform for CMOS video sensors. |
DASIP |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Laurent Bousquet, Fabio Cenni, Emmanuel Simeu |
SystemC-AMS high-level modeling of linear analog blocks with power consumption information. |
LATW |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Yaseen Zaidi, Christoph Grimm 0001, Jan Haase 0001 |
On Mixed Abstraction, Languages, and Simulation Approach to Refinement with SystemC AMS. |
EURASIP J. Embed. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Andreas Popp, Andreas Herrholz, Kim Grüttner, Yannick Le Moullec, Peter Koch 0001, Wolfgang Nebel |
SystemC-AMS SDF model synthesis for exploration of heterogeneous architectures. |
DDECS |
2010 |
DBLP DOI BibTeX RDF |
|
32 | François Pêcheux, Khouloud Zine el Abidine, Alain Greiner |
Early Power Estimation in Heterogeneous Designs Using SoCLib and SystemC-AMS. |
PATMOS |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Antoine Lévêque, François Pêcheux, Marie-Minerve Louërat, Hassan Aboushady, Michel Vasilevski |
SystemC-AMS Models for Low-Power Heterogeneous Designs: Application to a WSN for the Detection of Seismic Perturbations. |
ARCS Workshops |
2010 |
DBLP BibTeX RDF |
|
32 | François Pêcheux, Amer Habib |
Towards High-Level Executable Specifications of Heterogeneous Systems with SystemC-AMS: Application to a Manycore PCR-CE Lab on Chip for DNA Sequencing. |
FDL |
2010 |
DBLP BibTeX RDF |
|
32 | Sumit Adhikari, Christoph Grimm 0001 |
Modeling Switched Capacitor Sigma Delta Modulator Nonidealities in SystemC-AMS. |
FDL |
2010 |
DBLP BibTeX RDF |
|
32 | François Pêcheux, Morgan Madec, Christophe Lallement |
Is SystemC-AMS an appropriate "promoter" for the modeling and simulation of bio-compatible systems? |
ISCAS |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Muhammad Farooq, Sumit Adhikari, Jan Haase 0001, Christoph Grimm 0001 |
Modeling methodology in SystemC-AMS for embedded analog mixed signal systems. |
FIT |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Abdelbasset Massouri, Antoine Lévêque, Laurent Clavier, Michel Vasilevski, Andreas Kaiser, Marie-Minerve Louërat |
Baseband fading channel simulator for Inter-Vehicle Communication using SystemC-AMS. |
BMAS |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Martin Barnasconi, Markus Damm, Karsten Einwich |
SystemC AMS Extensions: New Language - New Methods - New Applications. |
PATMOS |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Monica Rafaila, Christian Decker, Christoph Grimm 0001, Karsten Einwich, Thomas Markwirth, Georg Pelz |
New Methods for System-level Verification using SystemC-AMS Extensions: Application to an Automotive ECU. |
MBMV |
2009 |
DBLP BibTeX RDF |
|
32 | Yaseen Zaidi, Christoph Grimm 0001, Jan Haase 0001 |
Fast and unified SystemC AMS - HDL simulation. |
FDL |
2009 |
DBLP BibTeX RDF |
|
32 | Rami Khouri, Benjamin Nicolle, Lucas Alves Da Silva, William Tatinian, Gilles Jacquemod |
Evaluation of SystemC-AMS modeling capabilities of RF front-end non-linearities: satellite receiver case study. |
FDL |
2009 |
DBLP BibTeX RDF |
|
32 | Karsten Einwich, Christoph Grimm 0001, Martin Barnasconi, Alain Vachoux |
Introduction to the SystemC AMS DRAFT standard. |
SoCC |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Philipp A. Hartmann, Philipp Reinkemeier, Achim Rettberg, Wolfgang Nebel |
Modelling control systems in SystemC AMS - Benefits and limitations. |
SoCC |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Torsten Mähne, Alain Vachoux |
Supporting dimensional analysis in SystemC-AMS. |
BMAS |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Hans-Peter Kreuter, Vladimír Kosel, Michael Glavanovics, Robert Illing |
System level modeling of smart power switches using SystemC-AMS for digital protection concept verification. |
BMAS |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Thomas Markwirth, Joachim Haase, Karsten Einwich |
Statistical Modeling with SystemC-AMS for Automotive Systems. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Ken Caluwaerts, Dimitri Galayko |
Heterogeneous and Non-linear Modeling in SystemC-AMS. |
FDL (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Ken Caluwaerts, Dimitri Galayko |
SystemC-AMS Modeling of an Electromechanical Harvester of Vibration Energy. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Markus Damm, Christoph Grimm 0001, Jan Haase 0001, Andreas Herrholz, Wolfgang Nebel |
Connecting SystemC-AMS Models with OSCI TLM 2.0 Models using Temporal Decoupling. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Ken Caluwaerts, Dimitri Galayko, Philippe Basset |
SystemC-AMS Heterogeneous Modeling of a Capacitive Harvester of Vibration Energy. |
BMAS |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Christoph Grimm 0001, Rüdiger Schroll, Florian Brame, Klaus Waldschmidt |
Top-Down Design analog/digitaler Systeme mit SystemC-AMS. |
MBMV |
2007 |
DBLP BibTeX RDF |
|
32 | Fernando Herrera, Eugenio Villar, Christoph Grimm 0001, Markus Damm, Jan Haase 0001 |
A general approach to the interoperability of HetSC and SystemC-AMS. |
FDL |
2007 |
DBLP BibTeX RDF |
|
32 | Torsten Mähne, Alain Vachoux |
Proposal for a Bond Graph Based Model of Computation in SystemC-AMS. |
FDL |
2007 |
DBLP BibTeX RDF |
|
32 | Karsten Einwich, Jens Bastian, Christoph Clauß, Uwe Eichler, Peter Schneider |
SystemC-AMS Extension Library for Modeling Conservative Nonlinear Dynamic Systems. |
FDL |
2006 |
DBLP BibTeX RDF |
|
32 | Mohamad Alassir, Julien Denoulet, Olivier Romain, Patrick Garda |
Modelling and Simulation of an I2C Bus Controller in SystemC-AMS. |
FDL |
2006 |
DBLP BibTeX RDF |
|
32 | Erik Markert, Göran Herrmann, Dietmar Müller 0001 |
System model of an inertial navigation system using SystemC-AMS. |
FDL |
2005 |
DBLP BibTeX RDF |
|
32 | Alain Vachoux |
Do we really need SystemC-AMS? |
MBMV |
2004 |
DBLP BibTeX RDF |
|
32 | Karsten Einwich, Peter Schwarz |
SystemC-AMS Steps towards an Implementation. |
FDL |
2003 |
DBLP BibTeX RDF |
|
32 | Alain Vachoux, Christoph Grimm 0001, Karsten Einwich |
Analog and mixed signal modelling with SystemC-AMS. |
ISCAS (3) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Christian Meise, Christoph Grimm 0001 |
A SystemC based case study of a sensor application using the BeCom modeling methodology for virtual prototyping. |
SBCCI |
2004 |
DBLP DOI BibTeX RDF |
SystemC-AMS, behavioral model, virtual prototype |