IEICE technical report. Dependable computing The Institute of Electronics, Information and Communication Engineers 106(391) (20061122)

 CiNii Books

表紙  Full Text: CiNii   
目次  Full Text: CiNii   
SystemVerilog Tutorial  Full Text: CiNii    1-13
SAT algorithms and their application to formal verification  Full Text: CiNii    15-20
Analysis of Maximum Switching Activities in Sequential Logic Circuits for Power Supply Integrity Validation  Full Text: CiNii    21-26
Power Wave Smoothing by Clock Scheduling for Peak Power Reduction in LSI  Full Text: CiNii    27-32
A Fast Register Relocation Method for Circuit Size Reduction in Generalized-Synchronous Framework  Full Text: CiNii    33-38
LSSD at speed scan test and Source synchronous DDR interface test by 1149 using on chip PLL  Full Text: CiNii    39-44
複写される方へ  Full Text: CiNii   
Notice about photocopying  Full Text: CiNii   
奥付  Full Text: CiNii