Lectures related to Functional verification

Molecular Transistors: Design and Simulation

Explores molecular transistors for logic computation, design, simulation, and fabrication, emphasizing interconnect parasitics and device performance.

Timing Verification and Optimization

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

Simulation-Based Verification

Explores simulation-based verification in VLSI systems using compiled-code and event-driven algorithms.

SecChisel: Security Verification of Secure Processor Architectures

Presents the SecChisel framework for verifying security properties of secure processor architectures at design-time.

Concrete Bridges: Stability and Piles

Discusses the design of bearing slabs and the stability of piles in concrete bridges.

Simulation and Modeling in VLSI Systems

Explores simulation techniques and fault simulation procedures in VLSI systems.

Static Analysis: Modeling Structural Behavior

Covers static analysis and the importance of accurate structural modeling in engineering.