ENCS5335 | SYSTEM-ON-A-CHIP (SOC) DESIGN AND VERIFICATION

SOC systems: Analyze the functional and nonfunctional performance of the system early in the design process to support design decisions. Analyze hardware/software tradeoffs, algorithms, and architectures to optimize the system based on requirements and implementation constraints. Issues in system-on-a-chip design associated with co-design, such as intellectual property, reuse, and verification. Verifying digital systems, from theory to industry practice. Logic Equivalence Checking. Assertion Based Verification. Universal Verification Methodology. Formal Verification.