High-level synthesis - PDFSEARCH.IO - Document Search Engine

High-level synthesis
Results: 127

#	Item
1	Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-15 09:37:52 Logic 120-cell Linear temporal logic Substitution Markov decision process Symbol Theoretical computer science Mathematical logic
2	Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-07 15:32:17 Computing Software engineering Theoretical computer science Software testing Formal methods Software design Software bug Software quality
3	C vs. VHDL: Benchmarking CAESAR Candidates Using High-‐Level Synthesis and Register-‐Transfer Level Methodologies Ekawat Homsirikamol, Wi Add to Reading List Source URL: www1.spms.ntu.edu.sg Language: English - Date: 2015-10-04 23:56:37
4	Productive parallel programming on FPGA using High-level Synthesis Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2018-02-27 11:09:01
5	ABSTRACT An abstract of the thesis of Yan Chen for the Master of Science in Computer Science presented July 8, Title: Equivalence Checking for High-Level Synthesis Flow Add to Reading List Source URL: www.mpi-sws.org - Date: 2011-07-23 03:33:16
6	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
7	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:02 Software engineering Computer programming Computing Subroutines Electronic design automation Compiler construction Programming language implementation Theoretical computer science High-level synthesis Recursion Compiler Inline expansion
8	Avant Technology Partners With NEC To Market High-Level Synthesis In Asia September 5, Avant Technology announced today they have partnered with NEC Corporation (NEC; TSE: 6701) to bring the award-winning C and S Add to Reading List Source URL: www.avant-tek.com Language: English - Date: 2014-07-31 22:33:50 Electronic engineering Electronics Business Electronic design SystemC High-level synthesis NEC Electronic design automation Mentor Graphics System on a chip Integrated circuit design
9	Formal Verification for High-Assurance Behavioral Synthesis Sandip Ray1 , Kecheng Hao2 , Yan Chen3 , Fei Xie2 , and Jin Yang4 1 Department of Computer Sciences, University of Texas at Austin, Austin, TX 78712 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:32:42 Electronic engineering Electronic design automation Design Formal methods Electronics Electronic design Formal equivalence checking Formal verification High-level synthesis Integrated circuit design Register-transfer level Invariant