ASPDAC
2007
ACM
14 years 21 days 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...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
ASPDAC
2007
ACM
14 years 21 days 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. ...
ASAP
2007
IEEE
14 years 21 days 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...
ASAP
2007
IEEE
14 years 21 days 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 ...
ASAP
2007
IEEE
14 years 21 days 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...
ASAP
2007
IEEE
14 years 21 days 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...