339 search results - page 46 / 68 » Hardware Synthesis for Multi-Dimensional Time |
108
click to vote
DAC
1997
ACM
15 years 4 months ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...
83
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
122
Voted
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
FCCM
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents timing and area results for an FPGA implementation of a CDMA-based switch for networkson-chip. The design was mapped onto the Xilinx Virtex4 XC4VLX200 device u...
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
Traditional circuit design focuses on optimizing the static critical paths no matter how infrequently these paths are exercised dynamically. Circuit optimization is then tuned to ...