Description: Introduction to the logical design and analysis of digital systems; Boolean algebra; combinational logic; minimization techniques; Karnaugh mapping. Introduction to sequential systems ...
Checking functional equivalency between system-level models expressed in SystemC or C/C++ and their corresponding RTL representations is an important step toward making the high-level models useful in ...