期刊


ISSN0923-8174
刊名Journal of Electronic Testing
参考译名电子测试杂志：理论与应用
收藏年代2000～2024



全部

2000 2001 2002 2003 2004 2005
2006 2007 2008 2009 2010 2011
2012 2013 2014 2015 2016 2017
2018 2019 2020 2021 2022 2023
2024

2013, vol.29, no.1 2013, vol.29, no.2 2013, vol.29, no.3 2013, vol.29, no.4 2013, vol.29, no.5 2013, vol.29, no.6

题名作者出版年年卷期
Observation-Oriented ATPG and Scan Chain Disabling for Capture Power ReductionLung-Jen Lee20132013, vol.29, no.5
LLVMVF: A Generic Approach for Verification of Multicore SoftwareMarcelo Sousa; Alper Sen20132013, vol.29, no.5
On the Reuse of Heterogeneous IPs into SysML Models for Integration ValidationNicola Bombieri; Emad Ebeid; Franco Fummi; Michele Lora20132013, vol.29, no.5
Automatic Generation of System Level Assertions from Transaction Level ModelsLingyi Liu; Shobha Vasudevan20132013, vol.29, no.5
A Semantics-based Translation Method for Automated Verification of SystemC TLM DesignsYanyan Gao; Xi Li20132013, vol.29, no.5
A Novel Formalism for Partially Defined Asynchronous Feedback Digital CircuitsGurkan Uygur; Sebastian M. Sattler20132013, vol.29, no.5
Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation TracesKusum Lata; Subir K. Roy20132013, vol.29, no.5



制造业外文文献服务平台