Results 101 to 110 of about 37,772 (288)
Analog and Mixed Signal Verification [PDF]
, 2008 More and more electronic systems have components that are not purely digital. Verification of such systems is a much less developed discipline than the digital equivalents and the application of formal (mathematically complete) techniques is a nascent ...
Jones, K.
core
VLSI Implementation of Cascaded Integrator Comb Filters for DSP Applications [PDF]
, 2006 The recursive comb filters or Cascaded Integrator Comb filter (CIC) are commonly used as decimators for the sigma delta modulators. This paper presents the VLSI implementation, analysis and design of high speed CIC filters which are based on a low-pass ...
Othman, Masuri, Teymourzadeh, Rozita
core
Acceleration of Simulated Fault Injection Using a Checkpoint Forwarding Technique
ETRI Journal, 2017 Simulated fault injection (SFI) is widely used to assess the effectiveness of fault tolerance mechanisms in safety‐critical embedded systems (SCESs) because of its advantages such as controllability and observability.
Jongwhoa Na, Dongwoo Lee
doaj +1 more source
Modeling Algorithms in SystemC and ACL2
, 2014 We describe the formal language MASC, based on a subset of SystemC and intended for modeling algorithms to be implemented in hardware. By means of a special-purpose parser, an algorithm coded in SystemC is converted to a MASC model for the purpose of ...
O'Leary, John W., Russinoff, David M.
core +2 more sources
Advances in Fuzzy Systems, 2013 The real-time nondestructive testing (NDT) for crack detection and impact source identification (CDISI) has attracted the researchers from diverse areas. This is apparent from the current work in the literature. CDISI has usually been performed by visual
Arati M. Dixit, Harpreet Singh
doaj +1 more source
From UML Specification into FPGA Implementation
Advances in Electrical and Electronic Engineering, 2014 In the paper a method of using the Unified Modeling Language for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine diagrams and uses Hierarchical Concurrent Finite ...
Grzegorz Bazydlo +3 more
doaj +1 more source
Automatic generation of hardware Tree Classifiers [PDF]
, 2017 Machine Learning is growing in popularity and spreading across different fields for various applications. Due to this trend, machine learning algorithms use different hardware platforms and are being experimented to obtain high test accuracy and ...
Thanjavur Bhaaskar, Kiran Vishal
core
Multi-dimensional models of sic power mosfet for accurately predicting the characteristics
CES Transactions on Electrical Machines and Systems, 2017 The paper presents a compact simulation program with integrated circuit emphasis (SPICE) model for a 1200V/19A Silicon Carbide power metallic oxide semiconductor field effect transistor (MOSFET).
Shen Diao +7 more
doaj +1 more source
SystemC-A modeling of an automotive seating vibration isolation system [PDF]
, 2006 A modeling methodology for mixed physical domains system in a new modelling Language is presented. The system is automotive seating vibration isolation system with electronic control.
Al-Junaid, Hessa +2 more
core
Predicate Abstraction and Refinement Techniques for Verifying Verilog [PDF]
, 2004 Edmund M. Clarke +2 more
openalex +1 more source