Modular Deductive Verification of Multiprocessor Hardware Designs Muralidaran Vijayaraghavan1 , Adam Chlipala1 , Arvind1 , and Nirav Dave2 1 MIT {vmurali,adamc,arvind}@csail.mit.edu

Source URL: plv.csail.mit.edu

• Computing
• Computer architecture
• Computer hardware
• Microprocessors
• Central processing unit
• IBM PC compatibles
• Instruction set architectures
• Microcomputers
• Program counter
• X86

Institut für Technische Informatik und Kommunikationsnetze Computer Engineering and Networks Laboratory Prof. L. Thiele

Source URL: www.tik.ee.ethz.ch

• Computing
• Parallel computing
• Manycore processors
• Computer hardware
• Reconfigurable computing
• Computer architecture
• Microprocessors
• Multi-core processor
• Massively parallel processor array
• Adapteva
• TILE64
• Tilera

Transformer: A Functional-Driven Cycle-Accurate Multicore Simulator Zhenman Fang1,2 , Qinghao Min2 , Keyong Zhou2 , Yi Lu2 , Yibin Hu2 , Weihua Zhang2 , Haibo Chen3 , Jian Li4 , Binyu Zang2 1 The State Key Lab of ASIC &

Source URL: ipads.se.sjtu.edu.cn

• Parallel computing
• Central processing unit
• Computer architecture
• Instruction set architectures
• Microprocessors
• CPU cache
• Computer architecture simulator
• ARM architecture
• Multi-core processor
• Speedup
• Emulator
• Microcode

NIAC Meeting Minutes – (ALS, Berkeley 5 ­ 6 October 2007 present :  L.Lerusse (RAL), J.Suzuki (J­Parc), A.Götz1 ESRF), P.Peterson2 (SNS), P.Jemian (ANL),  M.Koennecke (PSI), F.Akero

Source URL: wiki.nexusformat.org

• Smartphones
• Google Nexus
• Tablet computers
• Debugging
• Microprocessors
• Nexus
• The Nexus Trilogy

a SUMMARY 16-Bit Fixed-Point DSP Microprocessors with On-Chip Memory Enhanced Harvard Architecture for Three-Bus Performance: Instruction Bus and Dual Data Buses

Source URL: www.uhf-satcom.com

Software, Software, Everywhere! Just A Small Matter Of Programming Telonics began to use embeddedcontroller software (code for small microprocessors) nearly eight years ago, and I

Source URL: www.telonics.com

STM32F401xD STM32F401xE ARM® Cortex®-M4 32b MCU+FPU, 105 DMIPS, 512KB Flash/96KB RAM, 11 TIMs, 1 ADC, 11 comm. interfaces Datasheet - production data Features

Source URL: www.espruino.com

• Microcontrollers
• ARM architecture
• Embedded microprocessors
• STM32
• Secure Digital
• USB
• Serial Peripheral Interface Bus
• Datasheet
• Phase-locked loop
• Flash memory
• IC
• NXP LPC

AVRprince - An Efficient Implementation of PRINCE for 8-bit Microprocessors Aria Shahverdi, Cong Chen, and Thomas Eisenbarth Worcester Polytechnic Institute, Worcester, MA, USA {ashahverdi,cchen3,teisenbarth}@wpi.edu

Source URL: www.ashahverdi.com

Current Microprocessors Pipeline Efficient Utilization of Hardware Blocks • Execution steps for an instruction:

Source URL: pages.saclay.inria.fr

RV-1805-C3 Extreme Low Power RTC Module DIMENSIONS Package: Recommended Solder Pad:

Source URL: www.microcrystal.com

• Oscillators
• Electrical components
• Microcontrollers
• Electrical engineering
• Electronic engineering
• Electromagnetism
• Crystal oscillator
• RC oscillator
• IC
• Capacitor
• Embedded microprocessors