Digital Library
Search: "[ keyword: Verification ]" (27)
Computer Graphics & Topology of High Speed System Emulator and Its Software
Nam Do Kim, Sei Yang Yang The KIPS Transactions:PartA,
Vol. 8, No. 4, pp. 479-488,
Dec.
2001
10.3745/KIPSTA.2001.8.4.479
10.3745/KIPSTA.2001.8.4.479
Prediction-Based Parallel Gate-Level Timing Simulation Using Spatially Partial Simulation Strategy
Jaehoon Han, Seiyang Yang KIPS Transactions on Computer and Communication Systems,
Vol. 8, No. 3, pp. 57-64,
Mar.
2019
https://doi.org/10.3745/KTCCS.2019.8.3.57
Keywords: Verification, Event-Driven Logic Simulation, Parallel Logic Simulation, Timing Simulation
https://doi.org/10.3745/KTCCS.2019.8.3.57
Keywords: Verification, Event-Driven Logic Simulation, Parallel Logic Simulation, Timing Simulation
Performance Improvement of Prediction-Based Parallel Gate-Level Timing Simulation Using Prediction Accuracy Enhancement Strategy
Seiyang Yang KIPS Transactions on Computer and Communication Systems,
Vol. 5, No. 12, pp. 439-446,
Dec.
2016
10.3745/KTCCS.2016.5.12.439
Keywords: Verification, Event-Driven Logic Simulation, Parallel Logic Simulation
10.3745/KTCCS.2016.5.12.439
Keywords: Verification, Event-Driven Logic Simulation, Parallel Logic Simulation
A New Prediction-Based Parallel Event-Driven Logic Simulation
Sei Yang Yang KIPS Transactions on Computer and Communication Systems,
Vol. 4, No. 3, pp. 85-90,
Mar.
2015
10.3745/KTCCS.2015.4.3.85
10.3745/KTCCS.2015.4.3.85
An Study on the Impact of N/A Check Item on the Security Level Result through Empirical Verification
Jun Ho Lee , Kyung Sang Sung , Hea Seok Oh KIPS Transactions on Computer and Communication Systems,
Vol. 3, No. 8, pp. 271-276,
Aug.
2014
10.3745/KTCCS.2014.3.8.271
10.3745/KTCCS.2014.3.8.271
A Practical Approach to Incremental Event-driven HDL Simulation
Sei Yang Yang , Kyu Ho Shim KIPS Transactions on Computer and Communication Systems,
Vol. 3, No. 3, pp. 73-80,
Mar.
2014
10.3745/KTCCS.2014.3.3.73
10.3745/KTCCS.2014.3.3.73
A Proposal for "Security Verification Method for Implementation of Secure Android Mobile Application"
Hur Hwan Seok , Kang Sung Hoon , Kim Seung Joo KIPS Transactions on Computer and Communication Systems,
Vol. 2, No. 10, pp. 445-460,
Oct.
2013
10.3745/KTCCS.2013.2.10.445
10.3745/KTCCS.2013.2.10.445