A formal approach to hardware analysis
Niklas Gerard Traub · ERA · 1986
Electronic circuits are entering many aspects of our daily lives.Considerations of safety and cost have prompted a good deal of interest in verifying that they function as expected.This thesis explores several ways of conducting such verifications using a formal, mathematical calculus.The calculus is based on sequences of events and has a simple semantics.