Abstract
We propose a new method for hardware verification using the Boyer-Moore Theorem Prover. In this method, each signal of a sequential circuit is represented not as a waveform, but as a time parameterized function. A user simply describes the logical connection of the components of a circuit, and the separated form is mechanically derived. We formalize the method and show that the method not only realizes an efficient proof but also useful for debugging.
Original language | English |
---|---|
Pages | 545-552 |
Number of pages | 8 |
Publication status | Published - Dec 1 1995 |
Externally published | Yes |
Event | Proceedings of the 1995 Asia and South Pacific Design Automation Conference, ASP-DAC'95 - Chiba, Jpn Duration: Aug 29 1995 → Sep 1 1995 |
Other
Other | Proceedings of the 1995 Asia and South Pacific Design Automation Conference, ASP-DAC'95 |
---|---|
City | Chiba, Jpn |
Period | 8/29/95 → 9/1/95 |
All Science Journal Classification (ASJC) codes
- Computer Science Applications
- Computer Graphics and Computer-Aided Design
- Electrical and Electronic Engineering