User defined coverage-A tool supported methodology for design verification
- Raanan Grinwald
- Eran Harel
- et al.
- 1998
- DAC 1998
Publications
Date
Featured collections
Popular topics
24316 results for Exploratory Science
Design Reliability - Estimation through Statistical Analysis of Bug Discovery Data
- Yossi Malka
- Avi Ziv
- 1998
- DAC 1998
Adjoint transient sensitivity computation in piecewise linear simulation
- Tuyen V. Nguyen
- Anirudh Devgan
- et al.
- 1998
- DAC 1998
Verifying deep logic hierarchies with ALEX
- George M. Koppelman
- Klim Maling
- 1980
- DAC 1980
A new look at logic synthesis
- John A. Darringer
- William H. Joyner
- 1980
- DAC 1980
Minimizing the problem of logic testing by the interaction of a design group with user-oriented facilities
- Manuel Correia
- Donald Cossman
- et al.
- 1970
- DAC 1970
Quality of designs from an automatic logic generator (ALERT)
- Theodore D. Friedman
- Sih-Chin Yang
- 1970
- DAC 1970
On the Expressiveness and Length Generalization of Selective State-Space Models on Regular Languages
- 2025
- AAAI 2025
Enhancing Decision Making through the Integration of Large Language Models and Operations Research Optimization - Bridge Talk
- Segev Wasserkrug
- Léonard Boussioux
- et al.
- 2025
- AAAI 2025
Higher Order Graph Attention Probabilistic Walk Networks
- Thomas Bailie
- Yun Singh Koh
- et al.
- 2025
- AAAI 2025