Systems semantics: principles, applications, and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Algebraic Model for Asynchronous Circuits Verification
IEEE Transactions on Computers
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques
IEEE Transactions on Computers
Locating functional errors in logic circuits
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Concurrent Logic Programming as a Hardware Description Tool
IEEE Transactions on Computers
A methodology for hardware verification based on logic simulation
Journal of the ACM (JACM)
Temporal verification of behavioral descriptions in VHDL
EURO-DAC '92 Proceedings of the conference on European design automation
Proving circuit correctness using formal comparison between expected and extracted behaviour
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Formal verification of the Sobel image processing chip
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
A frame-based approach to hardware verification (abstract only)
CSC '87 Proceedings of the 15th annual conference on Computer Science
Experiences in Prolog-based DFT rule checking
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Automatic knowledge acquisition in a digital circuit design system
EURO-DAC '90 Proceedings of the conference on European design automation
An application of qualitative reasoning to derive behavior from structure of quantitative models
Journal of Management Information Systems
What's in a deep model?: a characterization of knowledge depth in intelligent safety systems
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic
Fundamenta Informaticae
| Hi-index | 0.01 |