2607 search results - page 5 / 522 » Complete Functional Synthesis |
FDL
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
82
Voted
DATE
2000
IEEE
15 years 1 months ago
2000
IEEE
This paper presents a new approach on combined highlevel synthesis and partitioning for FPGA-based multi-chip emulation systems. The goal is to synthesize a prototype with maximal...
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
3DPVT
2004
IEEE
15 years 1 months ago
2004
IEEE
The purpose of this work is to synthesize textures of rough, real world surfaces under freely chosen viewing and illumination directions. Moreover, such textures are produced for ...
108
click to vote
ISSS
1995
IEEE
15 years 1 months ago
1995
IEEE
To construct complete systems on silicon, application speci c DSP accelerators are needed to speed up the execution of high throughput DSP algorithms. In this paper, a methodology...