Sciweavers

3456 search results - page 89 / 692
» Algorithms for Interface Synthesis
Sort
View
ICCD
1992
IEEE
126views Hardware» more  ICCD 1992»
14 years 2 months ago
High-Level State Machine Specification and Synthesis
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
Andreas Kuehlmann, Reinaldo A. Bergamaschi
ASPDAC
1995
ACM
116views Hardware» more  ASPDAC 1995»
14 years 1 months ago
A datapath synthesis system for the reconfigurable datapath architecture
Abstract — A datapath synthesis system (DPSS) for the reconfigurable datapath architecture (rDPA) is presented. The DPSS allows automatic mapping of high level descriptions onto...
Reiner W. Hartenstein, Rainer Kress
WCE
2007
13 years 11 months ago
A Graph-based Framework for High-level Test Synthesis
Improving testability during the early stages of High-level synthesis has several advantages including reduced test hardware overhead and design iterations. Recently, BIST techniq...
Ali Pourghaffari bashari, Saadat Pourmozafari
ENTCS
2006
114views more  ENTCS 2006»
13 years 10 months ago
Synthesis of Mealy Machines Using Derivatives
In Rutten [13] the theoretical basis was given for the synthesis of binary Mealy machines from specifications in 2-adic arithmetic. This construction is based on the symbolic comp...
Helle Hvid Hansen, David Costa, Jan J. M. M. Rutte...
CORR
2007
Springer
68views Education» more  CORR 2007»
13 years 10 months ago
A numerical approach for 3D manufacturing tolerances synthesis
: Making a product conform to the functional requirements indicated by the customer suppose to be able to manage the manufacturing process chosen to realise the parts. A simulation...
Frédéric Vignat, François Vil...