7 pages matching theorem in this book
Results 1-3 of 7
What people are saying - Write a review
We haven't found any reviews in the usual places.
3-bit opcode abstract state machine abstraction functions ADD instruction address field arithmetic functions behavioural specification Boolean values CMOS behaviour CMOS NAND gate complete components defined in terms described executable existential quantification external memory externally visible fO t.fl formal methods formal proof formal specification formal verification function from discrete hardware description language hardware specification hierarchical higher level aspects higher-order logic INCn inference rules input and output instruction set Iterate level accurately models level behaviour level of specification logic gates logical NAND microcode microinstruction microprocessor implementation microprocessor systems Mike Gordon model of CMOS modelled by functions MOS values multi-level simulation n-bit adder n-bit words NEXT.STATE program counter programming language Ptran register-transfer level architecture relation on MOS rules of higher-order semantics specification and verification structural specification switch level model switch level primitives symbolic simulation Tamarack implementation Tamarack microprocessor target level operation target machine theorem transistors type-check VLSI design methodology well-defined