Hardware description languages - PDFSEARCH.IO - Document Search Engine

Hardware description languages
Results: 365

#	Item
1	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 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Hardware description languages Synchronous programming languages Software engineering Formal methods Computing Electronic engineering Esterel SIGNAL Model checking Embedded system Real-time computing Esterel Technologies
2	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:00 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
3	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 Add to Reading List Source URL: riscv.org Language: English - Date: 2016-04-09 11:41:57 Electronic engineering Hardware description languages Engineering Electronics Integrated circuits Verilog Field-programmable gate array Integrated circuit design Application-specific integrated circuit
4	1 Position: Senior / System IC Design Engineer Location: Hong Kong Job Responsibilities: Add to Reading List Source URL: www.solomon-systech.com Language: English - Date: 2016-07-19 05:18:16 Electronic engineering Electronics Integrated circuits Electromagnetism Field-programmable gate array Hardware description languages ICE Verilog FPGA prototyping Application-specific integrated circuit
5	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 Add to Reading List Source URL: www.ee.sun.ac.za Language: English - Date: 2016-05-17 09:13:19 Engineering Electromagnetism Electronic engineering Hardware description languages Altium Electronic design VHDL Unmanned aerial vehicle Field-programmable gate array Integrated circuit design Electronic design automation
6	David Ljung Madison Stellar Programming, Algorithm Design, VLSI / CPU Verification Accomplishing the impossible, on a deadline Career Summary Accomplished problem solver who can create new solutions Add to Reading List Source URL: davesource.com Language: English - Date: 2016-08-17 01:14:20 Electronic design automation Software engineering Computing Hardware verification languages Hardware description languages Verilog Perl Formal verification Programming tool Post-silicon validation Computer E
7	Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS, ASSOCIATE MEMBER, IEEE, AND SERGIO YOVINE Invited Paper We present a methodology for building timed models of real-time Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Software engineering Computing Hardware description languages Synchronous programming languages SIGNAL Esterel Real-time computing Actor model Model checking Component-based software engineering Modeling and Analysis of Real Time and Embedded systems Reo Coordination Language
8	Functional Design using Behavioural and Structural Components Richard Sharp University of Cambridge Computer Laboratory William Gates Building JJ Thomson Avenue Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:00 Electronic engineering Digital electronics Electronic design automation Hardware description languages Electronics Logic synthesis Verilog High-level synthesis VHDL SystemC Adder Silicon compiler
9	Technology Service Corporation an employee-owned company Alabama 310 Voyager Way, Huntsville, ALwww.tsc.com Add to Reading List Source URL: www.tsc.com Language: English - Date: 2015-01-08 10:18:09 Electronic engineering Computing Fabless semiconductor companies Digital electronics Hardware description languages Field-programmable gate array Xilinx VHDL Altera Systems design Embedded system Flow to HDL