Formal Approaches to Analog Circuit Verification

Barke, Erich; Grabowski, Darius; Graeb, Helmut; Hedrich, Lars; Heinen, Stefan; Popp, Ralf; Steinhorst, Sebastian; Wang, Yifan

Piscataway, NJ / IEEE (2009) [Contribution to a book, Contribution to a conference proceedings]

Design, Automation Test in Europe Conference Exhibition, 2009 : DATE '09 ; 20 - 24 April 2009, Nice, France ; proceedings / sponsored by the European Design and Automation Association ...
Page(s): 724-729

Identifier

  • REPORT NUMBER: RWTH-CONV-172908