Abstract is missing.
- Semi-Symbolic Analysis of Accuracy at System LevelWilhelm Heupke. 3-9 [doi]
- Randomized Simulation of Hybrid Systems For Circuit ValidationThao Dang, Tarik Nahhal. 9-15 [doi]
- Generic Behavioral Modeling of Analog and Mixed-Signal SystemsEwout Martens, Georges G. E. Gielen. 15-23 [doi]
- Compact Modeling of Emerging Technologies with VHDL-AMSF. Pregaldiny, Christophe Lallement, B. Diagne, J.-M. Sallese, Francois Krummenacher. 23-31 [doi]
- VHDL-AMS Model of Ferroelectric Liquid CrystalsMorgan Madec, Wilfried Uhring, Yannick Hervé. 31-40 [doi]
- VHDL-AMS Modeling and SimulationLingfei Zhou, Yves-André Chapuis, Yannick Hervé. 41-46 [doi]
- Baseband Modeling Using Multidimensional Networks in VHDL-AMSJoachim Haase. 47-53 [doi]
- Verification-Oriented Behavioral Modeling of Non-Linear AnalogMartin Freibothe, Jens Doege, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock. 53-60 [doi]
- Multi-level Modeling of Hot Carrier Injection for ReliabilityC. Bestory, F. Marc, H. Levi, Y. Danto. 61-68 [doi]
- Functional Virtual Prototyping Design Flow and VHDL-AMSYannick Hervé, Patricia Desgreys. 69-77 [doi]
- VHDL-AMS Model Generation from Other HDL LanguageD. Guihal, L. Andrieux. 77-83 [doi]
- Using Sequential Equations to Improve Efficiency and RobustnessDaniel Platte, S. Jing, R. Sommer, Erich Barke. 83-90 [doi]
- ModelLib: A Web-Based Platform for Collecting Behavioural ModelsTorsten Mähne, Alain Vachoux. 91-98 [doi]
- Supporting AMS-System DesignT. Brause, K. Zeng, S. Huss. 99-104 [doi]
- SystemC-A Modeling of an Automotive Seating Vibration Isolation SystemHessa Al-Junaid, Tom J. Kazmierski, Leran Wang. 107-113 [doi]
- SystemC-AMS Extension Library for Modeling Conservative Nonlinear Dynamic SystemsKarsten Einwich, Jens Bastian, Christoph Clauß, Uwe Eichler, Peter Schneider. 113-119 [doi]
- A Framework for the Design of Heterogenous SystemsRüdiger Schroll, Wilhelm Heupke, Klaus Waldschmidt, Christoph Grimm. 119-121 [doi]
- Modelling and Simulation of an I2C Bus Controller in SystemC-AMSM. Alassir, Julien Denoulet, Olivier Romain, Patrick Garda. 121-128 [doi]
- Efficient Representation and Simulation of Model-Based DesignsJoachim Falk, Christian Haubelt, Jürgen Teich. 129-135 [doi]
- The Quiny SystemC Front End: Self-Synthesising DesignsThorsten Schubert, Wolfgang Nebel. 135-143 [doi]
- Mining Metadata for Composability of IPs from SystemC IP LibraryDeepak Mathaikutty, Sandeep K. Shukla. 143-151 [doi]
- A Bitwidth-aware HDL ExtensionManfred Mucke, Guido Hafeli. 151-153 [doi]
- Adaptive Metrics for System-Level Functional PartitioningGiovanni Agosta, Marco D. Santambrogio, Seda Ogrenci Memik. 153-155 [doi]
- Non-Intrusive High-level SystemC DebuggingFrank Rogin, Erhard Fehlauer, Steffen Rülke, Sebastian Ohnewald, Thomas Berndt. 155-161 [doi]
- Extension of the SystemC Kernel for Simulation CoverageFernando Herrera, Eugenio Villar. 161-168 [doi]
- Design Structure Analysis and Transaction Recording in SystemCWolfgang Klingauf, Manuel Geffken. 169-177 [doi]
- Hardware Communication Refinement in Digital Signal ProcessingSylvain Huet, Emmanuel Casseau, Olivier Pasquier, Sebastien LeNours. 177-185 [doi]
- C-based Design of a Flexible Wrapper for Tiled Networks On ChipSubhek Garg, Marcello Lajolo. 185-189 [doi]
- SystemC Modeling and Validation of A RISC Processor SystemRajeev Kumar, Rahul Chaudhry, Dipankar Das, Vibha Rathi, S. K. Panda, P. P. Chakrabarti. 189-197 [doi]
- Transaction Level Modeling in Communication Engine DesignVesa Lahtinen, Jouni Siirtola, Tommi Mäkeläinen. 197-203 [doi]
- SystemC TLM Transaction Modelling and Dispatch for Active ObjectMartin Radetzki. 203-209 [doi]
- Case Study on Transaction Level ModelingWolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten. 209-215 [doi]
- Design Structure Analysis and Transaction-based Co-VerificationMarkus Winterholer. 215-222 [doi]
- Layered UML Workload and SystemC Platform ModelsJari Kreku, Yang Qu, Juha-Pekka Soininen, Kari Tiensyrjä. 223-229 [doi]
- SystemC Modeling of a Dynamic Power Management ArchitectureMassimo Conti, S. Marinelli, Giovanni B. Vece, S. Oricione. 229-235 [doi]
- Efficient Monte Carlo Simulation Using SystemCJuan F. Sevillano, Andoni Irizar, Igone Vélez, K. Tomasena. 235-237 [doi]
- Token-based OSCI SystemC Simulator for Architecture DimensioningKlaus Strohmenger, Martin Bücker. 237-239 [doi]
- On Consistency and Completeness of Property-SetsMartin Schickel, Volker Nimbler, Martin Braun, Hans Eveking. 241-248 [doi]
- On-line Monitoring of Properties Built on Regular ExpressionsKatell Morin-Allory, Dominique Borrione. 249-255 [doi]
- Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL AssertionsSitvanit Ruah. 263-264 [doi]
- A Verification Tool Implementation using Introspection MechanismMichel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid. 265-272 [doi]
- A Case Study on Automated Generation of Integration TestsGiuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci. 278-284 [doi]
- Formalizing TLM with Communicating State MachinesBernhard Niemann, Christian Haubelt. 285-293 [doi]
- System Description Aspects as Syntactic SugarJens Brandt, Klaus Schneider. 293-301 [doi]
- IP Library For Temporal SystemC AssertionsWolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Jacob Smit. 301-309 [doi]
- Overview of the ICODES ProjectCornelia Grabbe, Claus Brunzema, Kim Grüttner, Thorsten Schubert, Frank Oppenheimer. 309-311 [doi]
- Industrial Partners Expectations from the ICODES MethodologyGiovanna Ferrera, Anne-Marie Fouilliart, Joachim Gerlach. 311-318 [doi]
- A SystemC-based Framework of Communication ArchitectureFrancesco Bruschi, Fabrizio Ferrandi. 319-327 [doi]
- OSSS-Channels: Modelling and Synthesis of CommunicationKim Grüttner, Cornelia Grabbe, Thorsten Schubert, Claus Brunzema, Frank Oppenheimer. 327-335 [doi]
- UML - The Emerging Hardware Description Language?Wolfgang Mueller. 335-335 [doi]
- UML User Interface to a Proof-based Hardware Design FlowD. Moisuc, S. Revol, Colin F. Snook. 337-344 [doi]
- A Model-driven Co-design Flow for Embedded SystemsElvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti. 345-351 [doi]
- A Method for Terminal Platform Architecture DevelopmentKlaus Kronlöf, Samu Kontinen, Ian Oliver, Timo Eriksson. 351-359 [doi]
- UML2 Profile for Modeling Controlled Data Parallel ApplicationsOuassila Labbani, Éric Rutten, Jean-Luc Dekeyser, Pierre Boulet. 359-367 [doi]
- MCF: A Metamodeling-based Visual Component Composition FrameworkDeepak Mathaikutty, Sandeep K. Shukla. 367-375 [doi]
- Reusing Real-Time Systems Design ExperienceOana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal. 375-381 [doi]
- Towards a UML Profile for Real-Time ModellingJ. Medlina, P. Lopez, Drake J. Ma. 381-389 [doi]
- Bridging the Gap Between SysML and Design Space ExplorationMauro Prevostini, Sivakumar Ganesan. 389-395 [doi]
- Metamodel-based Methodology for Real-Time Embedded DesignRédha Hamouche, Rémy Kocik. 395-403 [doi]
- UML-based Automatic Code Generation for Hybrid CPU-FPGAThomas Mahr, Patrick Schillinger, Andreas Fürchthauer, Daniel Kirchner. 403-406 [doi]
- Applying Communication Patterns to Actor-Oriented ModelsAndreas Thuy, Leandro Soares Indrusiak, Manfred Glesner. 407-409 [doi]