Extending formal reasoning with support for hardware diagrams [chapter]

Kathi Fisler
1995 Lecture Notes in Computer Science  
Diagrams have been left as an informal tool in hardware reasoning, thus rendering them unacceptable representations within formal reasoning systems. We demonstrate some advantages of formally supporting diagrams in hardware verification systems via a simple example from the verification of a single-pulser.
doi:10.1007/3-540-59047-1_57 fatcat:muxh47msxzgtppcm2esa5pjtye