Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Signal Domain"”.
-
Improving Branch Coverage in RTL Circuits with Signal Domain Analysis and Restrictive Symbolic Execution
… by looking for the possible values which a signal can take in an RTL code without explicit unrolling of the design. To the best of our knowledge, this method has been able to identify more unreachable branches than any method published in this domain, while being computationally less …
-
Reachability Analysis of RTL Circuits Using k-Induction Bounded Model Checking and Test Vector Compaction
… for k-induction bounded model checking using signal domain constraints and property partitioning for proving unreachability of branches in Verilog RTL code is presented. To do this, it approach uses program slicing with respect to the variables of the property under test to generate …
-
Noise shaping techniques for analog and time to digital converters using voltage controlled oscillators
… density that can be utilized to implement analog signal processing functions in interesting and unconventional ways, for example by leveraging time as a signal domain. In this context, voltage controlled ring oscillators are circuit elements that are not only very attractive due to their highly …
-
Novel Cellular Targets of Aspirin in Chemoprevention studies on P53, G6PD and c-MYC
… This included 5 lysines in the DNA binding domain, 4 in the nuclear localization signal domain and 1 in the C-terminal regulatory domain. Five of these lysines acetylated by aspirin were common to the sites that are naturally acetylated by acetyltransferases. This included lysine 120 and …