Articles
19
Tags
21
Categories
0
Home
TimeLine
Tags
Categories
Links
About
Leakbox's Site
ICCAD 2022 hector
Back to Home
Home
TimeLine
Tags
Categories
Links
About
ICCAD 2022 hector
Created
2026-07-10
|
Updated
2026-08-04
|
Post Views:
|
Comments:
留个档，北大某教授的面试任务：读论文
Author:
Leakbox
Link:
https://leakbox258.github.io/2026/07/09/2026-7-10-Hector/
Copyright Notice:
All articles on this blog are licensed under
CC BY-NC-SA 4.0
unless otherwise stated.
MLIR
EDA
hardware
Previous
Loop Analysis
Next
Software Foundations Vol1 - Basics
Software Foundations Volume 1: Logical Foundations 第一章 Basics 包含的题解 Data and Functions完成 nandb 定义并验证例子正确性 12345678910111213141516(** **** Exercise: 1 star, standard (nandb) *)Definition nandb (b1:bool) (b2:bool) : bool := match b1 with | true => (negb b2) | false => true end.Example test_nandb1: (nandb true false) = true.Proof. simpl. reflexivity. Qed.Example test_nandb2: (nandb false false) = true.Proof. simpl. reflexivity. Qed.Example test_nandb3: ...
Related Articles
2026-08-04
Loop Analysis
Comments
Leakbox
Articles
19
Tags
21
Categories
0
Follow Me
Announcement
gitalk 由于网络问题, 有概率无法使用。本站经过多次迁移，部分资源可能已经挂了。
Recent Posts
Loop Analysis
2026-08-04
ICCAD 2022 hector
2026-07-10
Software Foundations Vol1 - Basics
2026-06-30
特异区之子 P2 P3
2026-06-06
特异区之子 P1
2026-05-19
