Výsledky vyhledávání - Hardware Integrated circuits Logic circuits Sequential circuits

Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking Autor Zhou, Shuai, Zhang, Weikang, Zhang, Xindi, Jiang, Zite, You, Haihang, Cai, Shaowei

“…Combinational Equivalence Checking (CEC) is a crucial technique in electronic design automation for verifying the functional equivalence of combinational circuits…”
Získat plný text

PastATPG: A Hybrid ATPG Framework for Better Test Compaction with Partial Assignment SAT Autor Chao, Zhiteng, Zhang, Xindi, Zhang, Xinyu, Mu, Jianan, Liu, Zizhen, Liang, Shengwen, Cai, Shaowei, Ye, Jing, Li, Xiaowei, Li, Huawei

“… However, as the size and complexity of circuits grow, SAT-based ATPG faces challenges like pattern inflation and excessive runtime, limiting its overall performance…”
Získat plný text

qSeq: Full Algorithmic and Tool Support for Synthesizing Sequential Circuits in Superconducting SFQ Technology Autor Pasandi, Ghasem, Pedram, Massoud

“…Synthesizing general nonlinear sequential circuits in superconducting Single Flux Quantum (SFQ…”
Získat plný text

Synthesis of statically analyzable accelerator networks from sequential programs Autor Shaoyi Cheng, Wawrzynek, John

“…This paper describes a general framework for transforming a sequential program into a network of processes, which are then converted to hardware accelerators through high level synthesis…”
Získat plný text

Optimal circuits for parallel bit reversal Autor Ren Chen, Prasanna, Viktor K.

“…In this paper, we develop novel parallel circuit designs for calculating the bit reversal…”
Získat plný text

SeGen: Automatic Topology Generator for Sequencing Elements Autor Kang, Kyounghun, Jung, Wanyeong

“…Sequencing elements, such as flip-flops (FFs), significantly impact the speed, size, and power consumption of digital integrated circuits…”
Získat plný text

Minimizing area and power of sequential CMOS circuits using threshold decomposition Autor Kulkarni, Niranjan, Nukala, Nishant, Vrudhula, Sarma

“…This paper describes the design of a standard cell library of differential mode threshold gates, referred to as a Threshold Logic Latch or TLL, and new threshold function identification…”
Získat plný text

Security against hardware Trojan through a novel application of design obfuscation Autor Chakraborty, R.S., Bhunia, S.

“…Malicious hardware Trojan circuitry inserted in safety-critical applications is a major threat to national security…”
Získat plný text

Dynamic Verification of Sequential Consistency Autor Meixner, Albert, Sorin, Daniel J.

“… One such consistency model is sequential consistency (SC), which specifies that all loads and stores appear to execute in a total order that respects program order for each thread…”
Získat plný text

Power gating applied to MP-SoCs for standby-mode power management Autor Flynn, David

“…Complex SoCs from servers to intelligent sensors are increasingly built up from heterogeneous IP cores and subsystems. Accelerator blocks or additional…”
Získat plný text

Polynomial arithmetic using sequential stochastic logic Autor Saraf, Naman, Bazargan, Kia

“…We present the design of stochastic computing systems based on sequential logic to implement arbitrary polynomial functions…”
Získat plný text

Efficient generation of counterexamples and witnesses in symbolic model checking Autor Clarke, E. M., Grumberg, O., McMillan, K. L., Zhao, X.

Získat plný text

Clock tree optimization in synchronous CMOS digital circuits for substrate noise reduction using folding of supply current transients Autor Badaroglu, Mustafa, Tiri, Kris, Donnay, StÉphane, Wambacq, Piet, Man, Hugo De, Verbauwhede, Ingrid, Gielen, Georges

“…In a synchronous clock distribution network with zero latencies, digital circuits switch simultaneously on the clock edge, therefore they generate substrate noise due to the sharp peaks on the supply current…”
Získat plný text

Skewed flip-flop transformation for minimizing leakage in sequential circuits Autor Seomun, Jun, Kim, Jaehyun, Shin, Youngsoo

“… However, current approaches target the combinational circuits even though sequential elements, such as flip-flops, contribute an appreciable proportion of the total leakage…”
Získat plný text

EPICS: Efficient Parallel Pattern Fault Simulation for Sequential Circuits via Strongly Connected Components Autor Wang, Mingjun, Wang, Hui, Mu, Jianan, Zhang, Xinyu, Sun, Bin, Wen, Yihan, Liu, Zizhen, Gu, Feng, Gao, Jun, Liang, Shengwen, Ye, Jing, Li, Xiaowei, Li, Huawei

“… However, for large-scale industrial sequential circuits, these simulations are time-consuming, creating a significant bottleneck in chip development…”
Získat plný text

Equivalence Checking of Sequential Quantum Circuits Autor Wang, Qisheng, Li, Riling, Ying, Mingsheng

“…We define a formal framework for equivalence checking of sequential quantum circuits…”
Získat plný text

Conflict driven learning in a quantified Boolean Satisfiability solver Autor Zhang, Lintao, Malik, Sharad

“…) as many interesting sequential circuit verification problems can be formulated as QBF instances…”
Získat plný text

Sequential Circuits Synthesis for Rapid Single Flux Quantum Logic Based on Finite State Machine Decomposition Autor Yang, Shucheng, Gao, Xiaoping, Ren, Jie

“… Logic synthesis is crucial in converting behavioral circuit description into a circuit netlist, typically combining combinational and sequential circuit synthesis…”
Získat plný text

Test Generation for Acyclic Sequential Circuits with Single Stuck-at Fault Combinational ATPG Autor Ichihara, Hideyuki, Inoue, Tomoo

Získat plný text

Automatic functional test generation using the extended finite state machine model Autor Cheng, Kwang Ting, Krishnakumar, A. S.

Získat plný text