Abstract is missing.
- A randomized algorithm for constructing cross-feature tests from single feature testsGuy Barash, Eitan Farchi. 1-8 [doi]
- Reachability analysis in RTL circuits using k-induction bounded model checkingTonmoy Roy, Michael Hsiao. 9-16 [doi]
- A novel SAT-based ATPG approach for transition delay faultsFarzaneh Zokaee, Hossein Sabaghian Bidgoli, Vahid Janfaza, Payman Behnam, Zainalabedin Navabi. 17-22 [doi]
- Validation of HMI applications for industrial smart displayMichele Lora. 23-30 [doi]
- HES machine: Harmonic equivalent state machine modeling for cyber-physical systemsMaral Amir, Tony Givargis. 31-38 [doi]
- Designing cyber-physical systems from natural language descriptionsSophia Balkovski, Ian G. Harris. 39-44 [doi]
- Automated test generation for post silicon microcontroller validationPankaj Moharikar, Jayakrishna Guddeti. 45-52 [doi]
- Repair techniques for aged TSVs in 3D integrated circuitsSiroos Madani, Kasem Khalil, Bappaditya Dey, Devante Bonton, Magdy Bayoumi. 53-58 [doi]
- RTL level trace signal selection and coverage estimation during post-silicon validationBinod Kumar 0001, Kanad Basu, Masahiro Fujita, Virendra Singh. 59-66 [doi]
- Exploiting sub-graph isomorphism and probabilistic neural networks for the detection of hardware Trojans at RTLFlorenc Demrozi, Riccardo Zucchelli, Graziano Pravadelli. 67-73 [doi]
- Thread- and data-level parallel simulation in SystemC, a Bitcoin miner case studyZhongqi Cheng, Tim Schmidt, Guantao Liu, Rainer Dömer. 74-81 [doi]
- Design and implementation of FPGA-based muscle conduction velocity tracker in dynamic contractions during the gaitDaniela De Venuto, Giovanni Mezzina, V. L. Gallo. 82-86 [doi]
- 3D-DyCAC: Dynamic numerical-based mechanism for reducing crosstalk faults in 3D ICsZahra Shirmohammadi, Hadi Zamani Sabzi, Seyed Ghassem Miremadi. 87-90 [doi]
- An approach to approximate computing: Logic transformations for one-minterm changes in specificationMasahiro Fujita. 91-94 [doi]
- On generation of properties from specificationKeerthikumara Devarajegowda, Wolfgang Ecker. 95-98 [doi]