Timing verification using HDTV
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
A new specification model for timing constraints and efficient methods for their verification
A new specification model for timing constraints and efficient methods for their verification
Plug-in timing models for an abstract timing verifier
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Petri nets and speed independent design
Communications of the ACM
An Expert System to Automate Timing Design
IEEE Design & Test
Timing Verification and the Timing Analysis program
DAC '82 Proceedings of the 19th Design Automation Conference
Verification of timing constraints on large digital systems
Verification of timing constraints on large digital systems
Temporal verification of behavioral descriptions in VHDL
EURO-DAC '92 Proceedings of the conference on European design automation
Synthesis of concurrent system interface modules with automatic protocol conversion generation
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Automated multi-cycle symbolic timing verification of microprocessor-based designs
DAC '94 Proceedings of the 31st annual Design Automation Conference
Design of system interface modules
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
| Hi-index | 0.00 |