A System for Modelling and Proving Circuits.

Michel Allemand Solange Coupet-Grimal Line Jakubiec Jean-Luc Paillet

Published in: ED&TC (1996)

Keyphrases

high speed
conceptual modelling
logic synthesis
data mining
genetic algorithm
user interface
high level synthesis