Search for dissertations about: "logic CAD"
Showing result 6 - 8 of 8 swedish dissertations containing the words logic CAD.
-
6. Applications of decision diagrams in digital circuit design
Abstract : Design methodology of digital circuits is a rapidly changing field. In the last 20 years, the number of transistors on a single chip has increased from thousands to tens of millions. This sets new demands on the design tools involved, their ability to capture specifications on a high level, and finally synthesize them into hardware implementations. READ MORE
-
7. Learning-based Software Testing using Symbolic Constraint Solving Methods
Abstract : Software testing remains one of the most important but expensive approaches to ensure high-quality software today. In order to reduce the cost of testing, over the last several decades, various techniques such as formal verification and inductive learning have been used for test automation in previous research. READ MORE
-
8. Om implementation of maximally fast wave digital filters
Abstract : An approach to design and implement fixed-function digital filters using bit-serial arithmetic is proposed. The resulting implementations are maximally fast, i.e., the maximal sample frequency fmax is equal to the upper bound on the sample frequency given by the recursive parts of the algorithm. READ MORE