Digital systems: hardware organization and design (3rd ed.)
Digital systems: hardware organization and design (3rd ed.)
An axiomatic basis for computer programming
Communications of the ACM
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
Verification of hardware designs thru symbolic manipulation
Proceedings of the Symposium on Design Automation and Microprocessors
A logic design structure for LSI testability
DAC '77 Proceedings of the 14th Design Automation Conference
Symbolic simulation for correct machine design
DAC '79 Proceedings of the 16th Design Automation Conference
The application of program verification techniques to hardware verification
DAC '79 Proceedings of the 16th Design Automation Conference
State deltas: a formalism for representing segments of computation.
State deltas: a formalism for representing segments of computation.
A programming language
Exhaustive simulation need not require an exponential number of tests
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Formal verification of a real-time hardware design
DAC '83 Proceedings of the 20th Design Automation Conference
Formal design verification of digital systems
DAC '83 Proceedings of the 20th Design Automation Conference
A formal design verification system based on an automated reasoning system
DAC '84 Proceedings of the 21st Design Automation Conference
An Inductive Assertion Method for Register Transfer Level Design Verification
IEEE Transactions on Computers
Hi-index | 0.00 |
A formal computer design verification method based on Floyd's inductive assertion technique9 is presented as an alternative or at least a supplement to simulation. The semantics of a register transfer language is defined formally. It specifies how machine variables and time change. Hardware descriptions in this language may contain assertions. The formal definition of the language can then be used for automatic verification of logical correctness and realtime performance of the design.