| 國立交通大學 |
2014-12-08T15:26:47Z |
An improved AVPG algorithm for SoC design verification using port order fault model
|
Wang, CY; Tung, SW; Jou, JY |
| 國立交通大學 |
2014-12-08T15:26:45Z |
An efficient design-for-verification technique for HDLs
|
Liu, CNJ; Chen, IL; Jou, JY |
| 國立交通大學 |
2014-12-08T15:26:28Z |
Effective error diagnosis for RTL designs in HDLS
|
Jiang, TY; Liu, CNJ; Jou, JY |
| 國立交通大學 |
2014-12-08T15:26:21Z |
Improved vector compaction for power estimation with multi-sequence sampling technique
|
Hsu, CY; Liu, CNJ; Jou, JY |
| 國立交通大學 |
2014-12-08T15:26:15Z |
SOC design integration by using automatic interconnection rectification
|
Wang, CY; Tung, SW; Jou, JY |
| 國立交通大學 |
2014-12-08T15:26:11Z |
An automatic interconnection rectification technique for SoC design integration
|
Wang, CY; Tung, SW; Jou, JY |
| 國立交通大學 |
2014-12-08T15:26:11Z |
An efficient IP-Level power model for complex digital circuits
|
Hsu, CY; Liu, CNJ; Jou, JY |
| 國立交通大學 |
2014-12-08T15:26:04Z |
An efficient approach for error diagnosis in HDL design
|
Shi, CH; Jou, JY |
| 國立交通大學 |
2014-12-08T15:25:57Z |
RLC effects on worst-case switching pattern for on-chip buses
|
Tu, SW; Jou, JY; Chang, YW |
| 國立交通大學 |
2014-12-08T15:25:57Z |
An efficient approach for hierarchical submodule extraction
|
Lin, YW; Jou, JY |
| 國立交通大學 |
2014-12-08T15:25:57Z |
An efficient logic extraction algorithm using partitioning and circuit encoding
|
Huang, L; Jiang, TY; Jou, JY; Huang, HL |
| 國立交通大學 |
2014-12-08T15:25:49Z |
Verification on port connections
|
Lee, GW; Wang, CY; Huang, JD; Jou, JY |
| 國立交通大學 |
2014-12-08T15:25:43Z |
Enhancing sequential depth computation with a branch-and-bound algorithm
|
Yen, CC; Jou, JY |
| 國立交通大學 |
2014-12-08T15:25:42Z |
Graph automorphism-based algorithm for determining symmetric inputs
|
Chou, CL; Wang, CY; Lee, GW; Jou, JY |
| 國立交通大學 |
2014-12-08T15:25:40Z |
Layout techniques for on-chip interconnect inductance reduction
|
Tu, SW; Jou, JY; Chang, YW |
| 國立交通大學 |
2014-12-08T15:25:40Z |
Optimal design of high fan-in multiplexers via mixed-integer nonlinear programming
|
Huang, HW; Wang, CY; Jou, JY |
| 國立交通大學 |
2014-12-08T15:25:40Z |
On compliance test of on-chip bus for SOC
|
Lin, HM; Yen, CC; Shih, CH; Jou, JY |
| 國立交通大學 |
2014-12-08T15:25:38Z |
Formal compliance verification of interface protocols
|
Yang, YC; Huang, JD; Yen, CC; Shih, CH; Jou, JY |
| 國立交通大學 |
2014-12-08T15:25:38Z |
On-chip bus encoding for LC cross-talk reduction
|
Huang, JS; Tu, SW; Jou, JY |
| 國立交通大學 |
2014-12-08T15:25:24Z |
RLC coupling-aware simulation for on-chip buses and their encoding for delay reduction
|
Tu, SW; Jou, JY; Chang, YW |
| 國立交通大學 |
2014-12-08T15:25:24Z |
Estimating likelihood of correctness for error candidates to assist debugging faulty HDL designs
|
Jiang, TY; Liu, CNJ; Jou, JY |
| 國立交通大學 |
2014-12-08T15:25:10Z |
Stimulus generation for interface protocol verification using the non-deterministic extended finite state machine model
|
Shih, CH; Huang, JD; Jou, JY |
| 國立交通大學 |
2014-12-08T15:25:10Z |
An optimum algorithm for compacting error traces for efficient functional debugging
|
Yen, CC; Jou, JY |
| 國立交通大學 |
2014-12-08T15:18:21Z |
An efficient heterogeneous tree multiplexer synthesis technique
|
Huang, HW; Wang, CY; Jou, JY |
| 國立交通大學 |
2014-12-08T15:17:44Z |
Reliable crosstalk-driven interconnect optimization
|
Jiang, IHR; Pan, SR; Chang, YW; Jou, JY |
| 國立交通大學 |
2014-12-08T15:03:04Z |
TIMING-DRIVEN PARTIAL SCAN
|
JOU, JY; CHENG, KT |
| 國立交通大學 |
2014-12-08T15:01:26Z |
A variable partitioning algorithm of BDD for FPGA technology mapping
|
Jiang, JH; Jou, JY; Huang, JD; Wei, JS |
