Shunji Nishimura

formal verification computer hardware theorem prooving theorem proving formal method hardware description category theory state machine agda soft constraints encodings at-most-k sat dependent types causal functions sequential circuits modern learners markup language digital material blackboard writing lecture education api classroom line synchronous circuits 機能モデル 同期概念 同期回路 multi-clock synchronous circuit 様相論理 形式検証 非同期回路 timing constraint asynchronous circuit multi-clock modal logic formal methods theorem proo functional programming