To search, Click below search items.
All Published Papers Search Service
Title
Instructional Scaffolding for ASIP Design Education with System Verilog Assertion considering Situated Nature of Learning
Author
Ryuichi TAKAHASHI, Yoshiyasu TAKEFUJI
Vol. 16 No. 10 pp. 116-121
Keywords
ASIP, SVA, model checking, design verification, LPP