Skip to Main content Skip to Navigation
New interface
Conference papers

Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis

Abstract : We present a method for latch and flip flop recognition within VHDL descriptions of hardware systems. Due to the simulation based semantics of VHDL, the existing synthesis tools rely on explicit templates to guarantee memorizing element inference. The approach proposed is based on a formal representation of VHDL in terms of interpreted Petri nets (IPN). After the compilation of the description, a Petri net preserving the simulation semantics is built. In order to simplify the formal recognition of the memorizing elements appearing in the description, the Petri net is reduced to a unique minimal form. Ultimately a set of equations can be extracted, and a formal analysis is performed on all cyclic VHDL symbol assignments. This methodology has been implemented and is illustrated on a representative set of simple VHDL descriptions.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01618351
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Tuesday, October 17, 2017 - 5:23:49 PM
Last modification on : Tuesday, September 20, 2022 - 2:40:22 PM

Identifiers

Citation

Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa. Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis. IEEE/EUROMICRO'98 International Conference on Digital Sytems, Aug 1998, Vasteras, Sweden. pp.317-320, ⟨10.1109/EURMIC.1998.711818⟩. ⟨hal-01618351⟩

Share

Metrics

Record views

47