-
大小: 1.07MB文件类型: .tgz金币: 1下载: 0 次发布日期: 2023-10-23
- 语言: 其他
- 标签: Asynchronous Synthesis
资源简介
Petrify is a tool for the synthesis of bounded Petri nets and logic synthesis of asynchronous controllers.
Petrify initially performs a token flow analysis of the Petri net and produces a finite transition system (TS).
In the initial TS, all transitions with the same label are considered as one event. The TS is then transformed
and transitions relabeled to fulfil the conditions required to obtain a Petri net with bisimilar or trace-equivalent
behavior. Some properties for the synthesized Petri net can be imposed (e.g. free-choice, uniquechoice,
pure, state-machine decomposable, etc.).
Additionally, petrify can interpret the Petri net as a Signal Transition Graph (STG), in which events represent
rising/falling transitions of digital signals. From an STG, petrify can synthesize a speed-independent
circuit by solving the problems of state encoding, logic synthesis, logic decomposition and technology
mapping onto a gate library. Petrify can also synthesize circuit under timing assumptions specified by the
designer or automatically generated by the tool.
Petrify reads the input description from stdin and writes the resulting STG to stdout unless otherwise specified
代码片段和文件信息
- 上一篇:GBT33777-2017附网存储设备通用规范.pdf
- 下一篇:方正正大黑简体
相关资源
- Synthesis Characterization and in vitro Antitu
- Novel fluorescent proteins generated by de nov
- The Synthesis and Structure of a Novel Three-D
- A Novel Algorithm for Ternary Reversible Logic
-
Lipase-catalyzed synthesis and the lipid me
- Synthesis of Cyclohexanone-formaldehyde Resi
- One-pot synthesis of benzothiazolones from 2-h
- Facile low-temperature synthesis of graphene-C
- Size-Controlled Synthesis of LaF3:Eu3+ Nanopla
- Large-scale synthesis of high-quality ZnO nano
- One-pot Synthesis of Propynoates and Propyneni
- A simple two-step synthesis of Fe2O3 hollow mi
- Catalyzed synthesis of 2-(4‘-ethylbenzoyl)
- Facile hydrothermal synthesis of Tb2(MoO4)
- Enol functionalized N-heterocyclic carbene lan
- Mechanism Analysis for Catalytic Synthesis of
-
Synthesis and Cytotoxicity of Novel 20-O-li
- Synthesis and biological evaluation of cytotox
- Synthesis and crystal structure of tert-butyl
- Synthesis and photophysical properties of star
- Synthesis of (R)-2-trimethylsilyl-2-hydrox
- Synthesis Crystal Structure and Theoretical
- Synthesis and Antitumor Activities of Emodin D
- (M)PhasedArrayAntennasFloquetAnalysisSynth
- Speech_Synthesis_Paul_Taylor.pdf
- constraining designs for synthesis and timing
- Artificial Intelligence.A New Synthesis中文版
- verilog hdl synthesis a practical primer.pdf 中
- Bipedal Robots-Modeling Design and Walking Syn
- Timing Constraints and Optimization User Guide
评论
共有 条评论