Symbolic model checking of large sequential circuits (R)
Joshi, Saurabh
Symbolic model checking of large sequential circuits (R) - - Mumbai IIT 2006 - 39 p. 29 cm - .
Chakraborty, Supratik
Theses and Dissertations
Symbolic circuit analysis-Data processing , Logic design-Data processing , Sequential processing (Computer science) , Integrated circuits-Very large scale integration
043:621.374.32:681.3Jos
Symbolic model checking of large sequential circuits (R) - - Mumbai IIT 2006 - 39 p. 29 cm - .
Chakraborty, Supratik
Theses and Dissertations
Symbolic circuit analysis-Data processing , Logic design-Data processing , Sequential processing (Computer science) , Integrated circuits-Very large scale integration
043:621.374.32:681.3Jos