DAC
1998
ACM
14 years 10 months ago
1998
ACM
DAC
1998
ACM
14 years 10 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
DAC
1998
ACM
14 years 10 months ago
1998
ACM
Memory is one of the most restricted resources in many modern embedded systems. Code compression can provide substantial savings in terms of size. In a compressed code CPU, a cach...
DAC
1998
ACM
14 years 10 months ago
1998
ACM
DAC
1998
ACM
14 years 10 months ago
1998
ACM
The logic blocks CLBs of a lookup table LUT based FPGA consist of one or more LUTs, possibly of di erent sizes. In this paper, we focus on technology mapping for CLBs with several...
DAC
1998
ACM
14 years 10 months ago
1998
ACM
We have developed a new algorithm and software for graph coloring by systematically combining several algorithm and software development ideas that had crucial impact on the algor...
DAC
1998
ACM
14 years 10 months ago
1998
ACM
DAC
1998
ACM
14 years 10 months ago
1998
ACM
DAC
1998
ACM
14 years 10 months ago
1998
ACM
Increasingly popular reuse-based design paradigms create a pressing need for authorship enforcement techniques that protect the intellectual property rights of designers. We devel...
DAC
1998
ACM
14 years 10 months ago
1998
ACM
Digital system designs are the product of valuable effort and knowhow. Their embodiments, from software and HDL program down to device-level netlist and mask data, represent caref...