A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
SSIM: a software levelized compiled-code simulator
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
COSMOS: a compiled simulator for MOS circuits
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
A framework for scheduling multi-rate circuit simulation
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Scheduling high-level blocks for functional simulation
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
A novel approach to accurate timing verification using RTL descriptions
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Behavioral modeling of transmission gates in VHDL
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Techniques for unit-delay compiled simulation
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
LECSIM: a levelized event driven compiled logic simulation
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
ATV: an abstract timing verifier
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
A path selection algorithm for timing analysis
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
An overview of VHDL language and technology
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Asynchronous distributed simulation via a sequence of parallel computations
Communications of the ACM - Special issue on simulation modeling and statistical computing
HARPA: A hierarchical multi-level hardware description language
DAC '84 Proceedings of the 21st Design Automation Conference
Digital system simulation: Current status and future trends or darwin's theory of simulation
DAC '81 Proceedings of the 18th Design Automation Conference
MOSSIM: A switch-level simulator for MOS LSI
DAC '81 Proceedings of the 18th Design Automation Conference
Timing Verification and the Timing Analysis program
DAC '82 Proceedings of the 19th Design Automation Conference
An event-driven transient simulation algorithm for MOS and bipolar circuits
EURO-DAC '90 Proceedings of the conference on European design automation
Event-driven behavioural simulation of analogue transfer functions
EURO-DAC '90 Proceedings of the conference on European design automation
GRTL: a graphical platform for pipelined system design
EURO-DAC '91 Proceedings of the conference on European design automation
Digital receiver design using VHDL generation from data flow graphs
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Demand-driven logic simulation using a network of loosely coupled processors
Journal of Systems Architecture: the EUROMICRO Journal
GRTL: a graphical platform for pipelined system design
EURO-DAC '91 Proceedings of the conference on European design automation
Handling dynamic frequency changes in statically scheduled cycle-accurate simulation
Proceedings of the 16th Asia and South Pacific Design Automation Conference
Hi-index | 0.00 |