- Verilog HDL and semantics of a small subset
- Specification and Verification
- Introduction to Functional Programming
- Formal Specification Verification of ARM6
Interesting Posts
-
An open source USB programmer for PIC micros, I2C EEPROMs, some ATMEL micros, generic I2C/SPI devices and (soon) other devices. Open Progr... -
A leading manufacturer of high-performance programmable logic devices PLDs, field-programmable gate arrays FPGAs, programmable mixed-signa... -
Fabless semiconductor provider of application-specific standard products, these are used in storage, communications and consumer electronic ... -
FriendlyARM Micro2440 / Mini2440 / Mini6410 - Low Cost ARM Boards. Mini2440 | S3C2440 ARM9 Board FriendlyARM Mini 2440 SBC (Single-Boa... -
A Schematic Editor with Active Simulator oriented towards RF and Communication Circuits. Good support for Power Electronic Devices and Circu... -
Designer and supplier of CDMA chipsets, system software, network base stations, handsets, modems Qualcomm - Wireless and Portable Device C... -
Cypress delivers high-performance, mixed-signal, programmable solutions that provide customers with rapid time-to-market and exceptional sys... -
Grantronics is a fully Australian owned, family-run consultancy providing Industrial Electronics hardware and software design and manufactur... -
Link Instruments was founded in 1986 by 3 Columbia University graduates that saw a need for affordable Logic Analyzers and Digital Storage ... -
They provide solutions in EDA that simplify the circuit design process and enhance the Performance/Yield. They provide the technology for ...
Racks
8051
8085-8086-Z80
Accelerometers
Analog-Mixed-Chips
Analog-RF-Mixed
Android
Arduino
arm
ARM-2
asic
ASIC-2
ASIC-3
assembler
assembly-firmware
ATmega
Automation-Systems
avr
avr-2
basic-stamp
Business-Computing
CAD-Tools
can-van
Communication-Chips
Computer-Chips
cpld
Design-Resource
Design-Services
Device-Networking
digital
eda
eda-2
EDA-3
EDA-4
Educational-Pages
EE-WebApps
Embedded-Computers
Embedded-Kits
Embedded-Learning-Kits
embedded-os
Embedded-Resource
Embedded-Systems
Engineering-Services
Foundry-Wafer
fpga
IDE-Compiler
Industrial-Computers
Industrial-Embedded-Cards
Interface-Circuits
Learning-EDA
Learning-Embedded-Systems
Manufacturing-Services
MC68HC12
mcu
MCU-2
Mechatronics
Medical-Computers
MEMS
Microcontrollers
Modular-Platforms
Nettop-SFF-PC
Organization-Institutions
pc-interface
PC-Interfacing
pic
pic-2
PIC-3
Portable-Computing-Devices
programmers
Programming
projects
Prototype-Custom
Raspberry Pi
robotics
Robotics-2
RTOS
Scientific-Technical-Computing
Serial-Port-RS232
Servers
Simulation
soc-dsp
soc-dsp-2
software
Storage-Network-Computing
Supplier-Boards
Tech-Reference
Test-Equipment
Testing-Emulators
training-consulting
uC-Projects
usb
User-Interface
Verification-Testing
Virtual-Instruments
Wayback
Wireless-Wifi
Search This Blog