Citation
Sayak Ray. "ABC - a tool for sequential logic verication and synthesis". Talk or presentation, 20, February, 2013; Presented at the CHESS IHI Visit, Berkeley.

Abstract
(No abstract.)

Electronic downloads

• bvsrc_SayakRay.pdf · application/pdf · 1082 kbytes

• HTML

  Sayak Ray. <a
  href="http://chess.eecs.berkeley.edu/pubs/965.html"
  ><i>ABC - a tool for sequential logic verication
  and synthesis</i></a>, Talk or presentation, 
  20, February, 2013; Presented at the CHESS IHI Visit,
  Berkeley.

• Plain text

  Sayak Ray. "ABC - a tool for sequential logic
  verication and synthesis". Talk or presentation,  20,
  February, 2013; Presented at the CHESS IHI Visit, Berkeley.

• BibTeX

  @presentation{Ray13_ABCToolForSequentialLogicVericationSynthesis,
      author = {Sayak Ray},
      title = {ABC - a tool for sequential logic verication and
                synthesis},
      day = {20},
      month = {February},
      year = {2013},
      note = {Presented at the CHESS IHI Visit, Berkeley.},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/965.html}
  }
  

Posted by Mary Stewart on 21 Feb 2013.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.