<--- Back to Details
First PageDocument Content
Formal methods / Computing / Software engineering / SIGNAL / Esterel / Lustre / Adder / Dataflow / Process calculus / Hardware description languages / Synchronous programming languages / Electronic engineering
Date: 2013-08-26 05:37:03
Formal methods
Computing
Software engineering
SIGNAL
Esterel
Lustre
Adder
Dataflow
Process calculus
Hardware description languages
Synchronous programming languages
Electronic engineering

Add to Reading List

Source URL: www.di.ens.fr

Download Document from Source Website

File Size: 269,57 KB

Share Document on Facebook

Similar Documents

Hardware description languages / Synchronous programming languages / Software engineering / Formal methods / Computing / Electronic engineering / Esterel / SIGNAL / Model checking / Embedded system / Real-time computing / Esterel Technologies

TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

DocID: 1ruad - View Document

Theoretical computer science / Logic in computer science / Software engineering / Computer science / Hardware description languages / Synchronous programming languages / Formal methods / Denotational semantics / Esterel / Robin Milner / Milner / Logic for Computable Functions

Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry

DocID: 1r68x - View Document

Electronic engineering / Hardware description languages / Engineering / Electronics / Integrated circuits / Verilog / Field-programmable gate array / Integrated circuit design / Application-specific integrated circuit

Chisel – Accelerating Hardware Design Jonathan Bachrach + Patrick Li + Adam Israelivitz + Henry Cook + Andrew Waterman + Palmer Dabbelt + Richard Lin + Howard Mao + Albert Magyar + Scott Beamer + Jack Koenig + Stephen

DocID: 1qZLp - View Document

Electronic engineering / Electronics / Integrated circuits / Electromagnetism / Field-programmable gate array / Hardware description languages / ICE / Verilog / FPGA prototyping / Application-specific integrated circuit

1 Position: Senior / System IC Design Engineer Location: Hong Kong Job Responsibilities:

DocID: 1qZvo - View Document

Engineering / Electromagnetism / Electronic engineering / Hardware description languages / Altium / Electronic design / VHDL / Unmanned aerial vehicle / Field-programmable gate array / Integrated circuit design / Electronic design automation

VACANCY: ELECTRONIC DESIGN ENGINEER UPDATED: S-PLANE Automation (Pty) Ltd Automation Innovation S-PLANE is an internationally recognised aerospace and defence company specialising in product

DocID: 1qQNf - View Document