LEMA: A Tool for the Formal Verification of Digitally-Intensive Analog/Mixed-Signal Circuits
Conference Proceeding
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
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 1548-3746
Additional Document Info
start page
- 1017
end page
- 1020