A frame-based approach to hardware verification (abstract only)
Wei Si Jiang, William G. Wee · 1987
There are currently several approaches to deciding whether or not the hardware design meets its functional specifications[1]. The most frequently-used approach is to design and build the system (or a simulation of it) and try it out on test cases. Except for the simplest systems, it is almost impossible to try a system on all possible cases. Hence this approach cannot guarantee that the design is correct. An alternate approach is to design the system and prove formally that it meets its functional specifications. Theoretically this approach is more powerful than the former though it has some implementation problems. Our approach belongs to this category.