7189 search results - page 352 / 1438 » Connecting Design with Code |
198
click to vote
ECEASST
2010
15 years 1 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
145
click to vote
TCOM
2011
14 years 11 months ago
2011
—Low-density parity-check (LDPC) codes are gaining interest for high data rate applications in both terrestrial and spatial communications. They can be designed and studied throu...
154
click to vote
TCOM
2010
14 years 11 months ago
2010
It has been widely acknowledged that the aggregate interference at the receiver for various practical communication channels can often deviate markedly from the classical additive ...
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
Regularity extraction is an important step in the design ow of datapath-dominated circuits. This paper outlines a new method that automatically extracts regular structures from th...
122
click to vote
DDECS
2007
IEEE
15 years 6 months ago
2007
IEEE
— From an assumed property, which constrains the inputs of a design under test, we produce a RTL synthesizable design that generates compliant sequences of values for all the sig...