Sciweavers

1151 search results - page 123 / 231
» Automatic Generation of Complex Properties for Hardware Desi...
Sort
View
CG
2006
Springer
15 years 4 months ago
G-Strokes: A Concept for Simplifying Line Stylization
In most previous NPR line rendering systems, geometric properties have been directly used to extract and stylize certain edges. However, this approach is bound to a tight stylizat...
Tobias Isenberg, Angela Brennecke
FCCM
2005
IEEE
107views VLSI» more  FCCM 2005»
15 years 10 months ago
Simplifying the Integration of Processing Elements in Computing Systems Using a Programmable Controller
As technology sizes decrease and die area increases, designers are creating increasingly complex computing systems using FPGAs. To reduce design time for new products, the reuse o...
Lesley Shannon, Paul Chow
DATE
2007
IEEE
72views Hardware» more  DATE 2007»
15 years 10 months ago
The impact of loop unrolling on controller delay in high level synthesis
Loop unrolling is a well-known compiler optimization that can lead to significant performance improvements. When used in High Level Synthesis (HLS) unrolling can affect the contr...
Srikanth Kurra, Neeraj Kumar Singh, Preeti Ranjan ...
DATE
2006
IEEE
87views Hardware» more  DATE 2006»
15 years 10 months ago
A mixed-signal verification kit for verification of analogue-digital circuits
This paper presents an innovative approach for analogue and mixed-signal verification. It consists in a “verification kit” that makes use of concepts used in state-of-art digi...
Giuseppe Bonfini, Monica Chiavacci, Riccardo Maria...
FPGA
2005
ACM
215views FPGA» more  FPGA 2005»
15 years 10 months ago
Design, layout and verification of an FPGA using automated tools
Creating a new FPGA is a challenging undertaking because of the significant effort that must be spent on circuit design, layout and verification. It currently takes approximately ...
Ian Kuon, Aaron Egier, Jonathan Rose