Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis.

Ludovic Jacomme Frédéric Pétrot Rajesh K. Bawa

Published in: EUROMICRO (1998)

Keyphrases

information extraction
knowledge extraction
formal model
hardware implementation
formal analysis
automatically extracting
real time
real world
information retrieval
image sequences
data structure
automatic extraction
automatically extracted
formal methods
sequential search