Submit Search
Upload
53
•
0 likes
•
123 views
S
studioswaim
Follow
Report
Share
Report
Share
1 of 1
Download now
Download to read offline
Recommended
Tombe la neige adamo
Tombe la neige adamo
ruilopez
Cadmos review dimitriadis_20111014
Cadmos review dimitriadis_20111014
Yannis
Presentation de ropa
Presentation de ropa
t8ertot4432
タイミング制約を含んだ回路記述方式とその意味論
タイミング制約を含んだ回路記述方式とその意味論
Shunji Nishimura
数学的な理論に基づく厳密な検証が可能となることから,各種の形式検証手法が広がりつつあるが,その検証対象は同期回路に限られている.非同期回路については,遅延値が不明な回路記述のみを対象としての検証は意味をなさないからである.本稿では形式検証の対象を同期回路以外にも広げるべく,タイミング制約を含んだ回路記述方式とその意味論を提案する.提案の記述方式は,プログラミング言語のクラスArrowの概念を用いて構成要素中心の考え方を可能にする.また,その意味論は様相論理のクリプキ意味論を用い,抽象的な遅延の概念を導入する.提案の回路記述とその意味論により,非同期回路についても形式検証が可能となることを示す.また,実用化に向けた試みとして定理証明言語Agda上の実装もあわせて示す.
Big Data Security - presentation
Big Data Security - presentation
Miroslav ヅ
Research paper structure
Research paper structure
cqshuey
Basic structure for a research-based analysis
Slide share
Slide share
studioswaim
Presentation2
Presentation2
studioswaim
Recommended
Tombe la neige adamo
Tombe la neige adamo
ruilopez
Cadmos review dimitriadis_20111014
Cadmos review dimitriadis_20111014
Yannis
Presentation de ropa
Presentation de ropa
t8ertot4432
タイミング制約を含んだ回路記述方式とその意味論
タイミング制約を含んだ回路記述方式とその意味論
Shunji Nishimura
数学的な理論に基づく厳密な検証が可能となることから,各種の形式検証手法が広がりつつあるが,その検証対象は同期回路に限られている.非同期回路については,遅延値が不明な回路記述のみを対象としての検証は意味をなさないからである.本稿では形式検証の対象を同期回路以外にも広げるべく,タイミング制約を含んだ回路記述方式とその意味論を提案する.提案の記述方式は,プログラミング言語のクラスArrowの概念を用いて構成要素中心の考え方を可能にする.また,その意味論は様相論理のクリプキ意味論を用い,抽象的な遅延の概念を導入する.提案の回路記述とその意味論により,非同期回路についても形式検証が可能となることを示す.また,実用化に向けた試みとして定理証明言語Agda上の実装もあわせて示す.
Big Data Security - presentation
Big Data Security - presentation
Miroslav ヅ
Research paper structure
Research paper structure
cqshuey
Basic structure for a research-based analysis
Slide share
Slide share
studioswaim
Presentation2
Presentation2
studioswaim
67
67
studioswaim
66
66
studioswaim
65
65
studioswaim
64
64
studioswaim
63
63
studioswaim
61
61
studioswaim
60
60
studioswaim
59
59
studioswaim
58
58
studioswaim
57
57
studioswaim
56
56
studioswaim
55
55
studioswaim
54
54
studioswaim
52
52
studioswaim
51
51
studioswaim
50
50
studioswaim
49
49
studioswaim
48
48
studioswaim
47
47
studioswaim
46
46
studioswaim
More Related Content
More from studioswaim
67
67
studioswaim
66
66
studioswaim
65
65
studioswaim
64
64
studioswaim
63
63
studioswaim
61
61
studioswaim
60
60
studioswaim
59
59
studioswaim
58
58
studioswaim
57
57
studioswaim
56
56
studioswaim
55
55
studioswaim
54
54
studioswaim
52
52
studioswaim
51
51
studioswaim
50
50
studioswaim
49
49
studioswaim
48
48
studioswaim
47
47
studioswaim
46
46
studioswaim
More from studioswaim
(20)
67
67
66
66
65
65
64
64
63
63
61
61
60
60
59
59
58
58
57
57
56
56
55
55
54
54
52
52
51
51
50
50
49
49
48
48
47
47
46
46
Download now