Sciweavers

247 search results - page 34 / 50
» On Pseudorandom Generators in NC
Sort
View
ITC
1998
IEEE
114views Hardware» more  ITC 1998»
15 years 11 months ago
BETSY: synthesizing circuits for a specified BIST environment
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
Zhe Zhao, Bahram Pouya, Nur A. Touba
DATE
2009
IEEE
141views Hardware» more  DATE 2009»
16 years 1 months ago
How to speed-up your NLFSR-based stream cipher
— Non-Linear Feedback Shift Registers (NLFSRs) have been proposed as an alternative to Linear Feedback Shift Registers (LFSRs) for generating pseudo-random sequences for stream c...
Elena Dubrova
COCO
2007
Springer
94views Algorithms» more  COCO 2007»
16 years 26 days ago
Low-Depth Witnesses are Easy to Find
Antunes, Fortnow, van Melkebeek and Vinodchandran captured the notion of non-random information by computational depth, the difference between the polynomialtime-bounded Kolmogoro...
Luis Antunes 0002, Lance Fortnow, Alexandre Pinto,...
SAT
2007
Springer
99views Hardware» more  SAT 2007»
16 years 24 days ago
Horn Upper Bounds and Renaming
Abstract. We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of v...
Marina Langlois, Robert H. Sloan, György Tur&...
146
Voted
DATE
2006
IEEE
87views Hardware» more  DATE 2006»
16 years 22 days 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...