DocumentCode
2735664
Title
Automatic generation of Chu space model expressions for verification
Author
Ivanov, Lubomir
Author_Institution
Dept. of Comput. Sci., Iona Coll., New Rochelle, NY
fYear
2008
fDate
10-13 Aug. 2008
Firstpage
613
Lastpage
616
Abstract
We present an algorithm for automatic generation of behavioral models of non-iterated systems from a structural Verilog specification. The models are represented as Chu spaces over the set of system events, and are used for verifying system behavior. The correctness and time complexity of the presented algorithm are briefly discussed along with a small example.
Keywords
algebra; computational complexity; formal verification; hardware description languages; Chu space model expressions; automatic generation algorithm; correctness complexity; noniterated systems; structural Verilog specification; system behavioral models; time complexity; Algebra; Application software; Automata; Biological system modeling; Computational biology; Computer science; Educational institutions; Hardware design languages; Petri nets; Physics;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 2008. MWSCAS 2008. 51st Midwest Symposium on
Conference_Location
Knoxville, TN
ISSN
1548-3746
Print_ISBN
978-1-4244-2166-4
Electronic_ISBN
1548-3746
Type
conf
DOI
10.1109/MWSCAS.2008.4616874
Filename
4616874
Link To Document