experienced in the software domain. For example, the notion of a variable in software often becomes a wire in hardware with very different semantics. Hardware, at least synchronous anyway, has the notion of a clock and o

Source URL: rodin.cs.ncl.ac.uk

• Technical communication
• Hardware description languages
• Functional languages
• Atom
• Real-time computing
• Bluespec
• Formal methods
• SystemVerilog
• Type system
• Verilog
• Interface
• Refinement

OMAR CHOUDARY, ADVANCED COMPUTER DESIGN, APRILFrom Verilog to Bluespec: Tales of an AES Implementation for FPGAs

Source URL: www.cl.cam.ac.uk

Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology

Source URL: www.fm2008.abo.fi

• Functional languages
• Theoretical computer science
• Technology
• Bluespec
• Inc.
• Arvind
• Atom
• Lennart Augustsson
• Formal methods
• James Hoe
• Computing
• Year of birth missing
• Software engineering

Microsoft Word - FM08 Tutorial.doc

Source URL: www.fm2008.abo.fi

• Logic in computer science
• Computer science
• Arvind
• Year of birth missing
• Electronic engineering
• Bluespec
• Inc.
• Formal verification
• Verification
• Correctness
• Formal methods
• Theoretical computer science
• Applied mathematics

ICFP 2008 Final Program Monday, Sep 22, 2008 Invited Talk (Chair: Peter Thiemann) 9:00 Lazy and Speculative Execution in Computer Systems Butler Lampson; Microsoft Research

Source URL: www.icfpconference.org

• Functional programming
• Functional languages
• Year of birth missing
• Type theory
• ICFP Programming Contest
• Generic programming
• Bluespec
• Inc.
• Haskell
• International Conference on Functional Programming
• Software engineering
• Computing
• Programming language theory

Bluespec Extensible RISC Implementation: BERI Software reference

Source URL: www.cl.cam.ac.uk

• Clang
• Berkeley Software Distribution
• Trac
• Software
• Computing
• FreeBSD

Bluespec Extensible RISC Implementation: BERI Hardware reference

Source URL: www.cl.cam.ac.uk

• Instruction set architectures
• Bluespec
• Inc.
• MIPS architecture
• Hardware description language
• Instruction set
• R4000
• 64-bit
• Reduced instruction set computing
• X86 debug register
• Computer architecture
• Computing
• Computer hardware

CTSRD  Project  Briefing   Robert  N.  M.  Watson  (Cambridge)   Peter  G.  Neumann  (SRI)              Simon  W.  Moore  (Cambridge)     DARPA  CRAS

Source URL: www.csl.sri.com

• Hacking
• Software testing
• Vulnerability
• Bluespec
• Inc.
• NetSurf
• Social vulnerability
• Computer security
• Compiler
• DARPA
• Software
• Computing
• Risk

Bluespec Extensible RISC Implementation: BERI Hardware reference

Source URL: www.cl.cam.ac.uk

• MIPS architecture
• Instruction set
• Hardware description language
• R4000
• 64-bit
• Reduced instruction set computing
• Computer architecture
• Instruction set architectures
• Bluespec
• Inc.

FPGA-­‐based  design  of  a     Million  point  Sparse  FFT   Abhinav  Agarwal  ([removed])   Computer  Science  and  ArCficial  Intelligence  Laboratory   M

Source URL: groups.csail.mit.edu

• Fast Fourier transform
• Fabless semiconductor companies
• Xilinx
• Bluespec
• Inc.
• Electronics
• Electronic engineering
• Digital signal processing
• Field-programmable gate array