259 search results - page 47 / 52 » Using Transformations and Verification in Circuit Design |
DAC
2002
ACM
16 years 1 months ago
2002
ACM
Tools and a design methodology have been developed to support partial run-time reconfiguration of FPGA logic on the Field Programmable Port Extender. High-speed Internet packet pr...
100
click to vote
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
119
click to vote
CCS
2010
ACM
15 years 21 days ago
2010
ACM
Secure two-party computation allows two untrusting parties to jointly compute an arbitrary function on their respective private inputs while revealing no information beyond the ou...
DAC
2001
ACM
16 years 1 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
110
Voted
ICMCS
2009
IEEE
14 years 10 months ago
2009
IEEE
Fractional motion estimation (FME) is widely used in video compression standards. In H.264/AVC, the precision of motion vector is down to quarter pixels to improve the coding effi...