On the verification of state-coding in STGs
Resource
Computer-Aided Design, 1992. ICCAD-92. Digest of Technical Papers., 1992 IEEE/ACM International Conference on
Journal
Computer-Aided Design, 1992. ICCAD-92. Digest of Technical Papers., 1992 IEEE/ACM International Conference on
Pages
-
Date Issued
1992-11
Date
1992-11
Author(s)
Lin, Kuan- Jen
Lin, Chen-Shang
DOI
N/A
Abstract
One primary property for an Signal Transition Graph (STG) to be synthesized in an asynchronous circuit is the realizable state coding (RSC) - more relaxed than USC. A procedure and its theoretical basis have been developed to verify the RSC property of a STG which contains multi-cycle signals and has a underlying free-choice Petri net. The procedure is carried out wholly on STG domain and is successful to verify the RSC of benchmarks
SDGs
Type
journal article
File(s)![Thumbnail Image]()
Loading...
Name
00279388.pdf
Size
451.01 KB
Format
Adobe PDF
Checksum
(MD5):06f66aab98ba93ebb80cd723fdd67071