The methodology of testability prediction for sequential circuits Xu ShiyiG. P. Dias Regular Papers Pages: 529 - 541
A neural network approach to fault diagnosis in analog circuits Wei NaihongYang ShiyuanTong Shibai Regular Papers Pages: 542 - 550
The RTL binding and mapping approach of VHDL High-level synthesis system HLS/BIT Yan ZongfuLiu Mingye Regular Papers Pages: 562 - 569
Neural networks for omni-view road image understanding Zhu ZhigangXu Guangyou Regular Papers Pages: 570 - 580
Speed up training of the recurrent neural network based on constrained optimization techniques Chen KeBao WeiquanChi Huisheng Regular Papers Pages: 581 - 588
DYNAMEM — A microarchitecture for improving memory disambiguation at run-time Wang XianzhuLiao HengLi Sanli Regular Papers Pages: 589 - 600
Compact DC-DC converter for pocket micro-controller systems Liu JianChen ZhimingDu Zhong Regular Papers Pages: 607 - 614
The global properties of valid formulas in modal logic K Sun JiguiCheng XiaochunLiu Xuhua Regular Papers Pages: 615 - 621