Browsing Electrical and Computer Engineering by Author "Yang, Bo"
Now showing items 1-2 of 2
-
Abstraction and Refinement Techniques for Ternary Symbolic Simulation with Guard-value Encoding
Yang, Bo (University of Waterloo, 2022-05-20)We propose a novel encoding called guard-value encoding for the ternary domain {0, 1, X}. Among the advantages it has over the more conventional dual-rail encoding, the flexibility of representing X with either of <0, 0> ... -
Optimizations and Hardware Implementations for Composited de Bruijn Sequence Generators
Yang, Bo (University of Waterloo, 2016-01-21)A binary de Bruijn sequence with period 2^n is a sequence in which every length-n sub-sequence occurs exactly once. de Bruijn sequences have randomness properties that make them attractive for pseudorandom number generators. ...