Equational theorem proving methods for hardware verification (R)
Gopale, Shyamsunder R.
Equational theorem proving methods for hardware verification (R) - - Mumbai IIT 1999 - vi,61 p. 28 cm - .
Sivakumar, G.
Theses and Dissertations
Integrated circuits-Verification , Automatic theorem proving , Computers
043:681.3.07:517.1Gop
Equational theorem proving methods for hardware verification (R) - - Mumbai IIT 1999 - vi,61 p. 28 cm - .
Sivakumar, G.
Theses and Dissertations
Integrated circuits-Verification , Automatic theorem proving , Computers
043:681.3.07:517.1Gop