DocumentCode :
1908153
Title :
Analog assertion-based verification on partial state space representations using ASL
Author :
Steinhorst, Sebastian ; Hedrich, Lars
Author_Institution :
TUM CREATE, Singapore, Singapore
fYear :
2012
fDate :
18-20 Sept. 2012
Firstpage :
98
Lastpage :
104
Abstract :
In this contribution a novel approach to assertion-based analog property verification by considering state space property specification is introduced. In order to apply a formal property specification of complex analog circuit properties to transient simulation waveforms using the Analog Specification Language (ASL), a partial analog state space model is developed to which the simulation waveforms are transferred. In contrast to other approaches operating directly on transient waveforms, on the partial state space model, properties such as periodic behavior, startup times and other complex analog behavior can be systematically specified and automatically verified. Due to the different perspective of state space property specification compared to approaches considering only time signal properties, critical behavior that may be overlooked in time domain signals can be detected in the state space domain. A verification methodology is introduced and a case study on complex properties of a CMOS charge pump shows the feasibility and practicability of the approach for improving the automation of analog verification.
Keywords :
analogue circuits; electronic design automation; formal specification; formal verification; ASL; CMOS charge pump; EDA design flow; analog circuit verification automation; analog specification language; assertion-based analog property verification; complex analog behavior; complex analog circuit properties; formal property specification; partial state space representations; periodic behavior; startup times; state space property specification; time domain signals; time signal properties; transient simulation waveforms; Analog circuits; Charge pumps; Data models; Integrated circuit modeling; Labeling; Transient analysis; Vectors;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Specification and Design Languages (FDL), 2012 Forum on
Conference_Location :
Vienna
ISSN :
1636-9874
Print_ISBN :
978-1-4673-1240-0
Type :
conf
Filename :
6336992
Link To Document :
بازگشت