|
Conferences in DBLP
(fdl) 2006 (conf/fdl/2006)
Semi-Symbolic Analysis of Accuracy at System Level. [Citation Graph (, )][DBLP]
Randomized Simulation of Hybrid Systems For Circuit Validation. [Citation Graph (, )][DBLP]
Generic Behavioral Modeling of Analog and Mixed-Signal Systems. [Citation Graph (, )][DBLP]
Compact Modeling of Emerging Technologies with VHDL-AMS. [Citation Graph (, )][DBLP]
VHDL-AMS Model of Ferroelectric Liquid Crystals. [Citation Graph (, )][DBLP]
VHDL-AMS Modeling and Simulation. [Citation Graph (, )][DBLP]
Baseband Modeling Using Multidimensional Networks in VHDL-AMS. [Citation Graph (, )][DBLP]
Verification-Oriented Behavioral Modeling of Non-Linear Analog. [Citation Graph (, )][DBLP]
Multi-level Modeling of Hot Carrier Injection for Reliability. [Citation Graph (, )][DBLP]
Functional Virtual Prototyping Design Flow and VHDL-AMS. [Citation Graph (, )][DBLP]
VHDL-AMS Model Generation from Other HDL Language. [Citation Graph (, )][DBLP]
Using Sequential Equations to Improve Efficiency and Robustness. [Citation Graph (, )][DBLP]
ModelLib: A Web-Based Platform for Collecting Behavioural Models. [Citation Graph (, )][DBLP]
Supporting AMS-System Design. [Citation Graph (, )][DBLP]
SystemC-A Modeling of an Automotive Seating Vibration Isolation System. [Citation Graph (, )][DBLP]
SystemC-AMS Extension Library for Modeling Conservative Nonlinear Dynamic Systems. [Citation Graph (, )][DBLP]
A Framework for the Design of Heterogenous Systems. [Citation Graph (, )][DBLP]
Modelling and Simulation of an I2C Bus Controller in SystemC-AMS. [Citation Graph (, )][DBLP]
Efficient Representation and Simulation of Model-Based Designs. [Citation Graph (, )][DBLP]
The Quiny SystemC Front End: Self-Synthesising Designs. [Citation Graph (, )][DBLP]
Mining Metadata for Composability of IPs from SystemC IP Library. [Citation Graph (, )][DBLP]
A Bitwidth-aware HDL Extension. [Citation Graph (, )][DBLP]
Adaptive Metrics for System-Level Functional Partitioning. [Citation Graph (, )][DBLP]
Non-Intrusive High-level SystemC Debugging. [Citation Graph (, )][DBLP]
Extension of the SystemC Kernel for Simulation Coverage. [Citation Graph (, )][DBLP]
Design Structure Analysis and Transaction Recording in SystemC. [Citation Graph (, )][DBLP]
Hardware Communication Refinement in Digital Signal Processing. [Citation Graph (, )][DBLP]
C-based Design of a Flexible Wrapper for Tiled Networks On Chip. [Citation Graph (, )][DBLP]
SystemC Modeling and Validation of A RISC Processor System. [Citation Graph (, )][DBLP]
Transaction Level Modeling in Communication Engine Design. [Citation Graph (, )][DBLP]
SystemC TLM Transaction Modelling and Dispatch for Active Object. [Citation Graph (, )][DBLP]
Case Study on Transaction Level Modeling. [Citation Graph (, )][DBLP]
Design Structure Analysis and Transaction-based Co-Verification. [Citation Graph (, )][DBLP]
Layered UML Workload and SystemC Platform Models. [Citation Graph (, )][DBLP]
SystemC Modeling of a Dynamic Power Management Architecture. [Citation Graph (, )][DBLP]
Efficient Monte Carlo Simulation Using SystemC. [Citation Graph (, )][DBLP]
Token-based OSCI SystemC Simulator for Architecture Dimensioning. [Citation Graph (, )][DBLP]
On Consistency and Completeness of Property-Sets. [Citation Graph (, )][DBLP]
On-line Monitoring of Properties Built on Regular Expressions. [Citation Graph (, )][DBLP]
Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions. [Citation Graph (, )][DBLP]
A Verification Tool Implementation using Introspection Mechanism. [Citation Graph (, )][DBLP]
A Case Study on Automated Generation of Integration Tests. [Citation Graph (, )][DBLP]
Formalizing TLM with Communicating State Machines. [Citation Graph (, )][DBLP]
System Description Aspects as Syntactic Sugar. [Citation Graph (, )][DBLP]
IP Library For Temporal SystemC Assertions. [Citation Graph (, )][DBLP]
Overview of the ICODES Project. [Citation Graph (, )][DBLP]
Industrial Partners Expectations from the ICODES Methodology. [Citation Graph (, )][DBLP]
A SystemC-based Framework of Communication Architecture. [Citation Graph (, )][DBLP]
OSSS-Channels: Modelling and Synthesis of Communication. [Citation Graph (, )][DBLP]
UML - The Emerging Hardware Description Language? [Citation Graph (, )][DBLP]
UML User Interface to a Proof-based Hardware Design Flow. [Citation Graph (, )][DBLP]
A Model-driven Co-design Flow for Embedded Systems. [Citation Graph (, )][DBLP]
A Method for Terminal Platform Architecture Development. [Citation Graph (, )][DBLP]
UML2 Profile for Modeling Controlled Data Parallel Applications. [Citation Graph (, )][DBLP]
MCF: A Metamodeling-based Visual Component Composition Framework. [Citation Graph (, )][DBLP]
Reusing Real-Time Systems Design Experience. [Citation Graph (, )][DBLP]
Towards a UML Profile for Real-Time Modelling. [Citation Graph (, )][DBLP]
Bridging the Gap Between SysML and Design Space Exploration. [Citation Graph (, )][DBLP]
Metamodel-based Methodology for Real-Time Embedded Design. [Citation Graph (, )][DBLP]
UML-based Automatic Code Generation for Hybrid CPU-FPGA. [Citation Graph (, )][DBLP]
Applying Communication Patterns to Actor-Oriented Models. [Citation Graph (, )][DBLP]
|