The Formal Description and Verification of Hardware Timing

Cite this paper

@article{Milne1991TheFD, title={The Formal Description and Verification of Hardware Timing}, author={George J. Milne}, journal={IEEE Trans. Computers}, year={1991}, volume={40}, pages={811-826} }