IC设计复杂化加剧：先进验证方式重要性倍增

虽然目前的IC设计持续以惊人的速度复杂化,但设计者仍然希望可以通过先进的验证工作提高工作效率.所谓的先进验证工作便是将测试平台自动化(Test-Bench Automation)和正式属性检测(Formal Property Checking)两功能添加到功能验证(Functional Verification)的流程之中.本文将主要探讨其中的基本概念、价值以及使用方法,进而帮助读者了解.     

Comparative Assessment of Adaptive Body-Bias SOI Pass-Transistor Logic

A very low voltage transconductor for video frequency range applications and compatible with standard CMOS technology is described. In the proposed transconductor, except the DC level shifter circuit (DCLS), the whole transconductor uses the main supply voltage [which can be as low as 1.5 V in a standard 0.6 μm CMOS technology] while the DCLS uses a simple charge-pump circuit as its supply voltage and has a very low current consumption. In addition, proper common-mode sense and charge-pump circuits are developed for this low-voltage application. Meanwhile, some techniques to improve the frequency response, linearity, and noise performance of the proposed transconductor are described. In a standard 0.6 μm CMOS technology and single 1.5 V supply, simulations show that the proposed transconductor futures a THD of −50 dB for 1.4 V_pp and 10 MHz input signal and −60 dB for 1.4 V_pp and 1 MHz signal where the threshold voltage of MOS transistors could be as high as 1 V. Based on the proposed transconductor, a lowpass filter with 700 kHz to 8 MHz programmable cutoff frequency and a bandpass 10.7 MHz second order filter were implemented. Armin Tajalli received the B.Sc. from Sharif University of Technology (SUT), Tehran, Iran, in 1997, and M.Sc. from Tehran Polytechnic University, Tehran, Iran, in 1999. From 1998 he has joint Emad Co. as a senior design engineer were he has worked on several industrial and R&D projects on analog and mixed-mode ICs. He received the award of the Best Design Engineer from Emad Co., 2001, the Kharazmi Award of Industrial Research and Development, Iran, 2002, and Presidential Award of the Best Iranian Researchers, in 2003. He is now working toward his PhD degree at SUT. His current interests are design of high speed circuits for telecommunication systems. Mojtaba Atarodi received the B.S.E.E. from Amir Kabir University of Technology (Tehran Polytechnic) in 1985, and M.Sc. degree in electrical engineering from the University of California, Irvine, in 1987. He received the Ph.D. degree from the University of Southern California (USC) on the subject of analog IC design in 1993. From 1993 to 1996 he worked with Linear Technology Corporation as a senior analog design engineer. Since then, he has been consulting with different IC companies. He is currently a visiting professor at Sharif University of Technology. He has published more than 30 technical papers in the area of analog and mixed-signal integrated circuit design as well as analog CAD tools.     

Considerations for Synchronization in Body Area Networks for Human Activity Monitoring

In this paper, we highlight considerations for synchronization issues in body area networks. Requirements for the synchronization accuracy in body area networks depend on the application at hand. Synchronization may be needed for power management, sample ordering, calculation of stimulus responses and for sensor fusion. This paper provides a theoretical exercise to help understand the accuracy required for typical human motion sensing. It gives an overview of various synchronisation strategies used and implemented in prototype systems. Lessons learnt from practical implementations using Bluetooth, an IEEE 802.15.4 proprietary network and Nanonet are presented to illustrate the principles involved. The discussion provides some considerations and the requirements for typical WBAN applications.     

X‐Ray Spectroscopic Investigation of Chlorinated Graphene: Surface Structure and Electronic Effects

Chemical doping of graphene represents a powerful means of tailoring its electronic properties. Synchrotron‐based X‐ray spectroscopy offers an effective route to investigate the surface electronic and chemical states of functionalizing dopants. In this work, a suite of X‐ray techniques is used, including near edge X‐ray absorption fine structure spectroscopy, X‐ray photoemission spectroscopy, and photoemission threshold measurements, to systematically study plasma‐based chlorinated graphene on different substrates, with special focus on its dopant concentration, surface binding energy, bonding configuration, and work function shift. Detailed spectroscopic evidence of C–Cl bond formation at the surface of single layer graphene and correlation of the magnitude of p‐type doping with the surface coverage of adsorbed chlorine is demonstrated for the first time. It is shown that the chlorination process is a highly nonintrusive doping technology, which can effectively produce strongly p‐doped graphene with the 2D nature and long‐range periodicity of the electronic structure of graphene intact. The measurements also reveal that the interaction between graphene and chlorine atoms shows strong substrate effects in terms of both surface coverage and work function shift.     

A 0D Lead‐Free Hybrid Crystal with Ultralow Thermal Conductivity

Organic–inorganic hybrid materials are of significant interest owing to their diverse applications ranging from photovoltaics and electronics to catalysis. Control over the organic and inorganic components offers flexibility through tuning their chemical and physical properties. Herein, it is reported that a new organic–inorganic hybrid, [Mn(C₂H₆OS)₆]I₄, with linear tetraiodide anions exhibit an ultralow thermal conductivity of 0.15 ± 0.01 W m^?1 K^?1 at room temperature, which is among the lowest values reported for organic–inorganic hybrid materials. Interestingly, the hybrid compound has a unique 0D structure, which extends into 3D supramolecular frameworks through nonclassical hydrogen bonding. Phonon band structure calculations reveal that low group velocities and localization of vibrational energy underlie the observed ultralow thermal conductivity, which could serve as a general principle to design novel thermal management materials.     

Highly Efficient,Solution‐Processed,Single‐Layer,Electrophosphorescent Diodes and the Effect of Molecular Dipole Moment

A new family of highly soluble electrophosphorescent dopants based on a series of tris‐cyclometalated iridium(III) complexes (1–4) of 2‐(carbazol‐3‐yl)‐4/5‐R‐pyridine ligands with varying molecular dipole strengths have been synthesized. Highly efficient, solution‐processed, single‐layer, electrophosphorescent diodes utilizing these complexes have been prepared and characterized. The high triplet energy poly(9‐vinylcarbazole) PVK is used as a host polymer doped with 2‐(4‐biphenylyl)‐5‐(4‐tert‐butyl‐phenyl)‐1,3,4‐oxadiazole (PBD) for electron transport. Devices with a current efficiency of 40 cd A^?1 corresponding to an EQE of 12% can thus be achieved. The effect of the type and position of the substituent (electron‐withdrawing group (CF₃) and electron‐donating group (OMe)) on the molecular dipole moment of the complexes has been investigated. A correlation between the absorption strength of the singlet metal‐to‐ligand charge‐transfer (¹MLCT) transition and the luminance spectral red shift as a function of solvent polarity is observed. The strength of the transition dipole moments for complexes 1–4 has also been obtained from TD‐DFT computations, and is found to be consistent with the observed molecular dipole moments of these complexes. The relatively long lifetime of the excitons of the phosphorescence (microseconds) compared to the charge‐carrier scattering time (less than nanoseconds), allows the transition dipole moment to be considered as a “quasi permanent dipole”. Therefore, the carrier mobility is sufficiently affected by the long‐lived transition dipole moments of the phosphorescent molecules, which are randomly oriented in the medium. The dopant dipoles cause positional and energetic disorder because of the locally modified polarization energy. Furthermore, the electron‐withdrawing group CF₃ induces strong carrier dispersion that enhances the electron mobility. Therefore, the strong transition dipole moment in complexes 3 and 4 perturbs both electron and hole mobilities, yielding a reduction in exciton formation and an increase in the device dark current, thereby decreasing the device efficiency.     

Evaluation of acid and enzyme hydrolytic methods for the determination of edible aroid starch content

The starch content of four edible aroid (Araceae) cultivars was determined using acid and enzyme methods of hydrolysis. Hydrolysates were analysed using ferricyanide reduction, glucose oxidase and high performance liquid chromatography methods. Differences in starch values were obtained between the method of sugar analysis used when acid hydrolysis of samples was employed. The results obtained using enzyme hydrolysis, however, showed no significant differences between the methods of sugar analysis used. The results of these experiments indicate that, to obtain accurate starch values for edible aroids using the least expensive options, it is recommended that acid hydrolysis and the glucose oxidase-peroxidase glucose-specific assay methods or enzyme hydrolysis and ferricyanide sugar analysis be used. Starch degradation of ungelatinised samples by enzymic hydrolysis was very limited and showed considerable cultivar variation.     

Simulation Techniques for the Manufacturing Test of MCMs

Simulation techniques used in the Manufacturing Test SIMulator(MTSIM) are described. MTSIM is a Concurrent Engineering tool used tosimulate the manufacturing test andrepair aspects of boards and MCMs from design concept through manufacturing release. MTSIM helps designers select assemblyprocess, specify Design For Test (DFT) features, select board testcoverage, specify ASIC defect level goals, establish productfeasibility, and predict manufacturing quality and cost goals. A newyield model for boards and MCMs which accounts for theclustering of solder defects is introduced and used topredict the yield at each test step. In addition, MTSIMestimates the average number of defects per board detected at eachtest step, and estimates costs incurred in test execution, faultisolation and repair. MTSIM models were validated withhigh performance assemblies at Hewlett-Packard (HP).     

Conjugated Polymers of Intrinsic Microporosity (C‐PIMs)

Conjugated microporous polymers (CMPs) have shown great potential for energy and environmental issues, however, poor solubility and processability of most of these materials limit their applications. Herein, a range of linear conjugated polymers of intrinsic microporosity (C‐PIMs) is reported, combining for the first time the properties of conjugated microporous polymers, such as tunable electronic properties and compositional variation, with those of linear polymers of intrinsic microporosity (PIMs) allowing for solution processability and film formation. These soluble materials have a number of potential applications, for example as components in devices where large, porous interfaces are combined with extended electronic conjugation.     

On energy‐efficient aggregation routing and scheduling in IEEE 802.15.4‐based wireless sensor networks

In wireless sensor networks, continued operation of battery‐powered devices plays a crucial role particularly in remote deployment. The lifetime of a wireless sensor is primarily dependent upon battery capacity and energy efficiency. In this paper, reduction of the energy consumption of heterogeneous devices with different power and range characteristics is introduced in the context of duty scheduling, dynamic adjustment of transmission ranges, and the effects of IEEE 802.15.4‐based data aggregation routing. Energy consumption in cluster‐based networks is modeled as a mixed‐integer linear and nonlinear programming problem, an NP‐hard problem. The objective function provides a basis by which total energy consumption is reduced. Heuristics are proposed for cluster construction (Average Energy Consumption and the Maximum Number of Source Nodes) and data aggregation routing (Cluster‐based Data Aggregation Routing) such that total energy consumption is minimized. The simulation results demonstrate the effectiveness of balancing cluster size with dynamic transmission range. The heuristics outperform other modified existing algorithms by an average of 15.65% for cluster head assignment, by an average of 22.1% for duty cycle scheduling, and by up to 18.6% for data aggregation routing heuristics. A comparison of dynamic and fixed transmission ranges for IEEE 802.15.4‐based wireless sensor networks is also provided. Copyright © 2012 John Wiley & Sons, Ltd.