Hardware verification using inductive theorem proving (R)
Agrawal, Vatsalya
Hardware verification using inductive theorem proving (R) - - Mumbai IIT 2005 - iv,38 p. 29 cm - .
Sivakumar, G.
Theses and Dissertations
Computers, Integrated circuits-Verification , Automatic theorem proving, Induction (Mathematics)
043:681.3.07:517.1Agr
Hardware verification using inductive theorem proving (R) - - Mumbai IIT 2005 - iv,38 p. 29 cm - .
Sivakumar, G.
Theses and Dissertations
Computers, Integrated circuits-Verification , Automatic theorem proving, Induction (Mathematics)
043:681.3.07:517.1Agr