98
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
In this paper, we present a method for generating checker circuits from sequential-extended regular expressions (SEREs). Such sequences form the core of increasingly-used Assertion...
78
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
61
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
63
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
43
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
116
click to vote
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
In recent years, several alternative devices have been proposed to deal with inherent limitation of conventional CMOS devices in terms of scalability at nanometer scale geometry. ...
110
Voted
ASAP
2007
IEEE
15 years 4 months ago
2007
IEEE
Software-based, fine-grain control flow integrity (CFI) validation technique has been proposed to enforce control flow integrity of program execution. By validating every indirect...
58
Voted
ASAP
2007
IEEE
15 years 4 months ago
2007
IEEE
Dynamic reconfiguration allows to selectively substitute blocks of logic at run-time in order to improve the area efficiency of a FPGA design. This paper presents the design of a ...
71
Voted
ASAP
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we present a novel adder/subtracter arithmetic unit that combines Binary and Binary Code Decimal (BCD) operations. The proposed unit uses effective addition/subtract...
103
Voted
ASAP
2007
IEEE
15 years 4 months ago
2007
IEEE
Monte-Carlo simulations are used in many applications, such as option pricing and portfolio evaluation. Due to their high computational load and intrinsic parallelism, they are id...