A formal, hierarchical design and validation methodology for VLSI - Davie, Bruce S. (Univ. of Edinburgh, Dep. of Computer Sci., 1988)
Edinburgh, Univ., Diss., 1988
Keywords: Circuits; Computer software; Reliability and quality control; Computer-aided design; Integrated circuits -- Very large scale integration; Hochschulschrift