Sciweavers

8766 search results - page 188 / 1754
» Functional logic programming
Sort
View
61
Voted
ICCAD
2005
IEEE
83views Hardware» more  ICCAD 2005»
15 years 7 months ago
Post-placement rewiring and rebuffering by exhaustive search for functional symmetries
Separate optimizations of logic and layout have been thoroughly studied in the past and are well documented for common benchmarks. However, to be competitive, modern circuit optim...
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco
ICCAD
2002
IEEE
176views Hardware» more  ICCAD 2002»
15 years 7 months ago
High capacity and automatic functional extraction tool for industrial VLSI circuit designs
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
Sasha Novakovsky, Shy Shyman, Ziyad Hanna
ICLP
2010
Springer
15 years 2 months ago
Constraint Answer Set Programming Systems
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
Christian Drescher
ECBS
2007
IEEE
115views Hardware» more  ECBS 2007»
15 years 4 months ago
Modeling the Functionality of Multi-Functional Software Systems
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
Alexander Gruler, Alexander Harhurin, Judith Hartm...
ISMVL
1997
IEEE
134views Hardware» more  ISMVL 1997»
15 years 2 months ago
Functional Decomposition of MVL Functions Using Multi-Valued Decision Diagrams
In this paper, the minimization of incompletely specified multi-valued functions using functional decomposition is discussed. From the aspect of machine learning, learning sample...
Craig M. Files, Rolf Drechsler, Marek A. Perkowski