ABCD: Accurate Booleanization of Continuous Dynamics for Analog/Mixed-Signal Design.

Conference · Fri Jul 01 00:00:00 EDT 2016

OSTI ID:1371815

Aadithya, Karthik Venkatraman; Sterin, Baruch; Ray, Sayak; Nuzzo, Pierluigi; Mishchenko, Alan; Brayton, Bob; Roychowdhury, Jaijeet

Abstract not provided.

• Research Organization: Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
• Sponsoring Organization: USDOE National Nuclear Security Administration (NNSA)
• DOE Contract Number: AC04-94AL85000
• OSTI ID: 1371815
• Report Number(s): SAND2016-6600C; 644916
• Resource Relation: Conference: Proposed for presentation at the HCCV wotkshop held July 18, 2016 in Toronto, Ontario, Canada.
• Country of Publication: United States
• Language: English