Suchergebnisse - Hardware Integrated circuits Logic circuits Sequential circuits

Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking von 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 …”
Volltext

PastATPG: A Hybrid ATPG Framework for Better Test Compaction with Partial Assignment SAT von 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 …”
Volltext

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

“… Synthesizing general nonlinear sequential circuits in superconducting Single Flux Quantum (SFQ …”
Volltext

Synthesis of statically analyzable accelerator networks from sequential programs von 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 …”
Volltext

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

“… In this paper, we develop novel parallel circuit designs for calculating the bit reversal …”
Volltext

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

“… Sequencing elements, such as flip-flops (FFs), significantly impact the speed, size, and power consumption of digital integrated circuits …”
Volltext

Minimizing area and power of sequential CMOS circuits using threshold decomposition von 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 …”
Volltext

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

“… Malicious hardware Trojan circuitry inserted in safety-critical applications is a major threat to national security …”
Volltext

Dynamic Verification of Sequential Consistency von 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 …”
Volltext

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

“… Complex SoCs from servers to intelligent sensors are increasingly built up from heterogeneous IP cores and subsystems. Accelerator blocks or additional …”
Volltext

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

“… We present the design of stochastic computing systems based on sequential logic to implement arbitrary polynomial functions …”
Volltext

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

Volltext

Clock tree optimization in synchronous CMOS digital circuits for substrate noise reduction using folding of supply current transients von 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 …”
Volltext

Skewed flip-flop transformation for minimizing leakage in sequential circuits von 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 …”
Volltext

EPICS: Efficient Parallel Pattern Fault Simulation for Sequential Circuits via Strongly Connected Components von 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 …”
Volltext

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

“… We define a formal framework for equivalence checking of sequential quantum circuits …”
Volltext

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

“… ) as many interesting sequential circuit verification problems can be formulated as QBF instances …”
Volltext

Sequential Circuits Synthesis for Rapid Single Flux Quantum Logic Based on Finite State Machine Decomposition von 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 …”
Volltext

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

Volltext

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

Volltext