- Verilog HDL and semantics of a small subset
- Specification and Verification
- Introduction to Functional Programming
- Formal Specification Verification of ARM6
Interesting Posts
-
This is a Embedded System that is dedicated to Process Control or Small Machine Automation Applications. Home Automation and HVAC control pr... -
The Qseven concept is an off-the-shelf, multi vendor, Computer-On-Module that integrates all the core components of a common PC and is mount... -
Software Simulation Solution for prototype development and manufacturing process engineering with applied mechanics. ESI Group - Virtual P... -
Hardware design of digital, analog and microprocessor based circuitry. Circuits containing programmable logic or even ASIC's can be deve... -
"I present, below, a collection of projects I have worked-on over the past few years. For over a decade, I had taught both embedded 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 ... -
The Electronic System Design Alliance (ESD Alliance), an international association of companies providing goods and services throughout the ... -
"uniting warring factions in parts of what is now Norway, Sweden, and Denmark - just as Bluetooth technology is designed to allow colla... -
Grantronics is a fully Australian owned, family-run consultancy providing Industrial Electronics hardware and software design and manufactur...
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