3 Credits
官方数据更新时间: 2026-08-28 05:35:00
背景: General understanding of digital IC logic design and basic programming skills.
COURSE
MICS5510
Formal Methods and Testing for Electronic System Verification
Function Hub / Microelectronics · 3 Credits
The course will discuss the application of automated reasoning techniques in the verification of software and hardware components in electronic systems. This course will cover basic knowledge of logic, satisfiability solvers, model checking and their applications. This course also includes topics on circuit testing, for example, automatic test pattern generation and design for testing.
Course 历年总评分
—
推荐度
—
难度 · 从难到易
—
工作量 · 从劳累到轻松
—
评分 · 从苛刻到宽松
—
实用性
基于 0 条已发布 Reviews。
可用 Sections
选择你要查看的具体 Semester 和 Section。
仅展示 2026-27 Fall；历史教学班可通过学期筛选查看。
当前筛选推荐度: — · 0 条评价
这个 Course 暂无已发布的 Sections。
官方 Course Catalog
按 Semester 保存的 UG/PG 目录快照；这些记录不代表一定存在可选的 Section。
历史目录与其他学期
3 Credits
官方数据更新时间: 2026-08-06 14:55:26
背景: General understanding of digital IC logic design and basic programming skills.
3 Credits
官方数据更新时间: 2026-08-06 14:55:26
背景: General understanding of digital IC logic design and basic programming skills.
3 Credits
官方数据更新时间: 2026-08-06 14:55:26
背景: General understanding of digital IC logic design and basic programming skills.
3 Credits
官方数据更新时间: 2026-08-06 14:55:26
背景: General understanding of digital IC logic design and basic programming skills.
3 Credits
官方数据更新时间: 2026-08-06 14:55:26
背景: General understanding of digital IC logic design and basic programming skills.
3 Credits
官方数据更新时间: 2026-08-06 14:55:26
背景: General understanding of digital IC logic design and basic programming skills.
3 Credits
官方数据更新时间: 2026-08-06 14:55:26
背景: General understanding of digital IC logic design and basic programming skills.