Testing of analog systems using behavioral models and optimal experimental design techniques
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
An efficient verification algorithm for parallel controllers
EURO-DAC '94 Proceedings of the conference on European design automation
HANNIBAL: an efficient tool for logic verification based on recursive learning
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Functional vector generation for HDL models using linear programming and 3-satisfiability
DAC '98 Proceedings of the 35th annual Design Automation Conference
Reencoding for cycle-time minimization under fixed encoding length
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Approximate equivalence verification of sequential circuits via genetic algorithms
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Automatic test bench generation for validation of RT-level descriptions: an industrial experience
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines
Formal Methods in System Design
A new verification methodology for complex pipeline behavior
Proceedings of the 38th annual Design Automation Conference
IEEE Transactions on Pattern Analysis and Machine Intelligence
Automatic Validation of Protocol Interfaces Described in VHDL
Real-World Applications of Evolutionary Computing, EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoROB, and EvoFlight
Analysis of Test Generation Complexity for Stuck-At and Path Delay Faults Based on τk-Notation
IEICE - Transactions on Information and Systems
Hi-index | 0.00 |