Simulation-Based Verification

Related lectures (32)

Page 3 of 4

Explores automatic optimization of arithmetic circuits, addressing challenges in restructuring circuits for improved efficiency and performance.

Covers FPGA programming with Speedgoat, focusing on synthesis, design practices, and practical examples.

Covers timing verification, gate delay modeling, network delay, sensitizable paths, and critical path analysis in digital circuits.

Introduces numerical simulation methods and tools, covering digital simulation, object-oriented simulators, and various application scenarios.

Introduces discrete event simulation through the example of Rico at Satellite, emphasizing the importance of statistical analysis.

Explores the backend design flow in semicustom ASIC design, covering layout, clock tree generation, and tapeout preparation.

Explores the exact simulation of coupled Wright-Fisher diffusions, covering population genetics, interacting loci networks, and diffusion challenges.

Explores VHDL for synthesis, emphasizing sequential statements and processes.

Introduces VHDL, covering its history, key features, library system, entity, architecture, signals, and data types.

Explores hydroacoustic simulation parameters, mass oscillation modeling, and validation errors in hydroelectric installations.