- Verilog HDL and semantics of a small subset
- Specification and Verification
- Introduction to Functional Programming
- Formal Specification Verification of ARM6
Interesting Posts
-
VirtualBreadboard(VBB) is for designing and testing embedded software in high-level interactive circuit simulations and rapidly prototyping ... -
Arduino is an open-source electronics prototyping platform based on flexible, easy-to-use hardware and software. It's intended for artis... -
Grantronics is a fully Australian owned, family-run consultancy providing Industrial Electronics hardware and software design and manufactur... -
Cypress delivers high-performance, mixed-signal, programmable solutions that provide customers with rapid time-to-market and exceptional sys... -
Embedded Artists and NXP have developed the Android Open Accessory Development Kit on ARM Cortex-M Architecture. Android Open Accessory Ki... -
They provide solutions in EDA that simplify the circuit design process and enhance the Performance/Yield. They provide the technology for ... -
A Schematic Editor with Active Simulator oriented towards RF and Communication Circuits. Good support for Power Electronic Devices and Circu... -
There are many Serial Data Devices that means those that use the RS232 (old mouse port). USB is now the standard interface in most computers... -
Link Instruments was founded in 1986 by 3 Columbia University graduates that saw a need for affordable Logic Analyzers and Digital Storage ... -
A leading manufacturer of high-performance programmable logic devices PLDs, field-programmable gate arrays FPGAs, programmable mixed-signa...
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