Tags
- 64-bit computing
- A
- Accellera
- Acronym
- Ada
- Adder
- Agda
- AI accelerator
- Aldec
- Algol
- Altera
- AMD
- American City Business Journals
- Application software
- Application-specific integrated circuit
- ARC
- Arm
- ARM Cortex-M
- Arvind
- Assembly language
- Asynchronous circuit
- Atom
- Black Box
- Bluespec
- Boolean algebra
- BSD licenses
- Cabal
- Cadence Design Systems
- Capability
- Capability-based security
- Capacitor
- Chéri
- Cheri Idea
- Cheri Ideas
- Cheri Pis
- Chisel
- Circuits
- Clock signal
- CMOS
- Combinational logic
- Community of practice
- Complex programmable logic device
- Computer
- Computer-aided design
- Computer architecture
- Computer engineering
- Computer hardware
- Computer language
- Computer Science
- Concurrency
- Concurrent computing
- Confluence
- Conor McBride
- Control flow
- Cryptol
- Curry
- Dalai Lama
- Darcs
- Dart
- Data exchange
- Dataflow
- Data General
- Data I/O
- Department
- Department of Computer Science
- Design space exploration
- Dialect
- Digital audio
- Digital cinematography
- Digital electronics
- Digital Equipment Corporation
- Digital photography
- Digital radio
- Digital signal
- Digital Signal Processing
- Digital television
- Digital video
- DOI
- Domain-specific language
- Eda Tool
- EDIF
- Electronic circuit
- Electronic circuit simulation
- Electronic component
- Electronic design automation
- Electronic literature
- Electronic system-level design and verification
- ELLA
- Elm
- Embedded system
- Enhance
- Eponym
- Erik Meijer
- Feasible region
- Field-programmable gate array
- FIFO
- Finite-state machine
- Flip-flop
- Flowchart
- Foreign function interface
- Formal equivalence checking
- Formal language
- Formal proof
- Formal verification
- FPGA prototyping
- Framingham, Massachusetts
- FreeRTOS
- Functional programming
- Functional specification
- Functional verification
- Gate
- Gate array
- General-purpose programming language
- Generic programming
- Gerolamo Cardano
- Git-annex
- GitHub
- Glasgow Haskell Compiler
- GNSS augmentation
- Gofer
- Gordon Bell
- Graphical user interface
- Haddock
- Hardware
- Hardware acceleration
- Hardware description language
- Haskell
- High-level synthesis
- House
- Hugs
- Hume
- Hybrid integrated circuit
- Ice
- Idris
- IEEE Standards Association
- Inductor
- Infineon Technologies
- Instruction
- Instructions
- Integrated circuit
- Intel
- Intellectual Property
- International Standard Book Number
- ISPS
- Java
- JEDEC
- John Hughes
- John MacFarlane
- Kotlin
- Lance Son
- Large language model
- Last week
- Lattice Semiconductor
- Lava
- Lennart Augustsson
- León
- Library
- Library of Congress Control Number
- Linux
- Logic block
- Logic gate
- Logic simulation
- Logic synthesis
- Lola
- Lolita
- M
- Macro
- Markup language
- Mask set
- Massachusetts Institute of Technology
- MathWorks
- MATLAB
- Memory cell
- Mentor Graphics
- Metastability
- MicroBlaze
- Microchip Technology
- Microprocessor
- Microsoft Windows
- Mike Southon
- MIPS architecture
- Mixed-signal integrated circuit
- Modeling language
- ModelSim
- Moore's law
- National Instruments
- .NET Framework
- Netlist
- Next
- Nios II
- NXP Semiconductors
- Object-oriented programming
- OCaml
- OCLC
- OpenCores
- OpenRISC
- Open-source hardware
- Open-source software
- Orwell
- Package manager
- Pandoc
- Paradox
- PARC
- PARSEC
- Partial evaluation
- PDP-8
- Perl
- Peter Sewell
- Pipeline
- Place and route
- Placement
- Plympton
- PNT
- Port
- Printed circuit board
- Printed electronics
- Procedural programming
- Processor register
- Programmable logic device
- Programming language
- Programming language implementation
- Programming paradigm
- Proprietary hardware
- Pugs
- Python
- QEMU
- Query language
- QuickCheck
- Reconfigurable computing
- Register-transfer level
- Resistor
- Rewriting
- Richard Bird
- RISC
- RISC-V
- Router
- Routing
- Ruby
- Scala
- Scalable Software
- Schematic
- Science
- Science and technology
- Scope
- Security
- Security Properties
- Security research
- Sequential logic
- Servant
- Shading language
- Shared memory
- Short circuit
- Siemens
- Simon Peyton Jones
- Simon Thompson
- Simulink
- Snap
- Software
- Software construction
- Software developer
- Software engineer
- Software prototyping
- Software release life cycle
- Solaris
- Source code
- SPARC
- Specification language
- Stack
- Standard cell
- Standard ML
- Style sheet language
- Superscalar processor
- Switching circuit theory
- Synchronous circuit
- Synopsys
- SystemC
- System on a chip
- System security
- SystemVerilog
- TCL
- Technical reports
- Technology
- Telephony
- Template Haskell
- Temporal memory
- Tensor processing unit
- Test bench
- Test case
- Texas Instruments
- Three-dimensional integrated circuit
- TidalCycles
- Transactional memory
- Transformation language
- Transistor
- United States Department of Defense
- University of Kaiserslautern
- Ur
- Verilog
- Verilog-A
- Verilog-AMS
- Very-large-scale integration
- VHDL
- Virtex
- Watson Queue
- Web framework
- Windowing system
- X86
- Xilinx
- Xilinx ISE
- Xputer
- Yesod
- Yhc
- Zet
- Ωmega