LEMA: A Tool for the Formal Verification of Digitally-Intensive Analog/Mixed-Signal Circuits Conference Proceeding uri icon

Overview

publication date

  • August 3, 2014

Date in CU Experts

  • October 28, 2020 2:58 AM

Full Author List

  • Fisher AN; Batchu S; Jones K; Kulkarni D; Little S; Walter D; Myers CJ

author count

  • 7

citation count

  • 2

Other Profiles

International Standard Serial Number (ISSN)

  • 1548-3746

Additional Document Info

start page

  • 1017

end page

  • 1020