Formal Verification of Analog and Mixed Signal Circuit

For the low fidelity and nonnormative description of formal modeling in Analog and Mixed Signal(AMS) circuit,a formal modeling method is proposed based on nodal analysis of Kirchhoff’s Current Law(KCL).An extension to Computation Tree Logic(CTL) formula is developed to describe the discrete events...

Popoln opis

Bibliografske podrobnosti

Glavni avtor:	YANG Shihan,WU Jinzhao,DING Guanghong,QIN Donghong
Format:	Artigo
Jezik:	Inglês
Izdano:	Editorial Office of Computer Engineering 2016-08-01
Serija:	Jisuanji gongcheng
Teme:	formal verification|analog and mixed signal(ams) circuit|hybrid system|kirchhoff’s current law(kcl)|computation tree logic(ctl)
Online dostop:	https://www.ecice06.com/fileup/1000-3428/PDF/201608007.pdf
Oznake:	Označite Brez oznak, prvi označite!