Temperature characterization of a-Si:H thin-film transistor for analog circuit design using analog hardware description language modeling

Within industry, the almost universally accepted method of validating a design against its requirement involves extrapolation from simulation of a (comparatively) small number of test cases to the behaviour of the complete circuit. That such an extrapolation is in general unjustifiable is widely accepted, but despite theorem provers’ ability to provide a mo^e robust link between specification and circuit design, very few industrial engineers are using theorem provers on a daily basis. This paper aims to consider some of the factors that may be preventing the wider application of proof methods. Specifically, RSRE has concentrated on two areas of research: the development of a largely automatic but functionally limited proof system, and more recently on a more general prover based on the concepts of a hardware description language. It is hoped to illustrate that these provers, being designed specifically for hardware design applications, may provide a more familiar environment for designers wishing to do proofs.

Download Full-text

Review on double-gate MOSFETs and FinFETs modeling

Facta universitatis - series Electronics and Energetics ◽

10.2298/fuee1303197c ◽

2013 ◽

Vol 26 (3) ◽

pp. 197-213 ◽

Cited By ~ 2

Author(s):

A. Cerdeira ◽

M. Estrada ◽

J. Alvarado ◽

I. Garduño ◽

E. Contreras ◽

...

Keyword(s):

Circuit Design ◽

Analog Circuit ◽

Research Field ◽

Double Gate ◽

Analog Circuit Design ◽

Important Research ◽

Compact Models

The development of compact models for double-gate (DG) MOSFETs and FinFETs necessary in circuit simulators is an important research field, which allows the efficient practical characterization of these devices, as well as their application in analog circuit design. In this paper we review and assess different approaches for developing core and complete compact models for DG MOSFETs and FinFETs.

Download Full-text

Incorporating a 4x4 Keypad in a Simple Digital Clock

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.433-435.1438 ◽

2013 ◽

Vol 433-435 ◽

pp. 1438-1447

Author(s):

Wan Fu Huang

Keyword(s):

Circuit Design ◽

Hardware Description Language ◽

Description Language ◽

Push Button ◽

Single Time ◽

Digital Clock ◽

Time Reading ◽

Hardware Description ◽

Verilog Hardware Description Language ◽

System Prototype

Most simple digital clocks use a push button to increment time reading for time adjustment. It is often time consuming. This paper suggests adding a four-by-four keypad to adjust each single time digit. The required valid 4x4 keypad key set for each time digit is predefined in the circuit design. Pressing a prohibited key would neither generate any function nor affect the operation of the digital clock. The system prototype circuit design was based on Verilog hardware description language and implemented on an EVS6 Boardan FPGA lab board. With the proposed design, adjusting time on a digital clock is quick and easy.

Download Full-text