High-Logic - PDFSEARCH.IO - Document Search Engine

High-Logic
Results: 359

#	Item
101	Ideas for a high-level proof strategy language Cliff B. Jones School of Computing Newcastle University Newcastle upon Tyne NE1 7RU Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Formal methods Theorem Mathematical proof Logic Mathematics Automated theorem proving
102	Designing for High Speed-Performance in CPLDs and FPGAs Zeljko Zilic, Guy Lemieux, Kelvin Loveless, Stephen Brown, and Zvonko Vranesic Department of Electrical and Computer Engineering, University of Toronto, Canada emai Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 1999-09-21 22:20:51 Electronic design automation Electronic design Fabless semiconductor companies Complex programmable logic device Altera Field-programmable gate array Programmable logic device Counter Logic gate Electronic engineering Electronics Digital electronics
103	Success Story Synopsys and Ricoh Ricoh Optimizes New Multi-Function Printer SoC Architecture with Synopsys Platform Architect MCO Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-12-30 08:15:46 Hardware verification languages Hillsboro Oregon Synopsys High-level synthesis SystemC System on a chip Logic synthesis Ricoh Electronic engineering Electronic design automation Electronic design
104	Efficient Estimation for High Similarities using Odd Sketches Michael Mitzenmacher Rasmus Pagh Add to Reading List Source URL: www.itu.dk Language: English - Date: 2014-01-30 03:01:41 Hashing Information science Jaccard index Measure theory MinHash Bloom filter Hash function Hash table Hamming distance Search algorithms Geometry Logic
105	Engineers’ Guide to FPGA & PLD Solutions Automotive Electronics Fuels Need for High-Reliability Devices FPGAs: Good Company in Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-03 08:15:35 Electronic design automation Reconfigurable computing Field-programmable gate array Xilinx Altera Logic synthesis Application-specific integrated circuit Synopsys High-level synthesis Electronic engineering Electronics Fabless semiconductor companies
106	Timing Solutions PRODUCT SELECTOR GUIDE HIGH PERFORMANCE Add to Reading List Source URL: www.silabs.com Language: English - Date: 2014-11-14 10:41:48 Electromagnetism Electronic design Radio electronics Logic families Microelectromechanical system oscillator Crystal oscillator Low-voltage differential signaling Voltage-controlled oscillator LVCMOS Electronic engineering Electronics Oscillators
107	科目名：高性能論理回路特論開講学期：後期（英文名： High-performance Logic Circuit Add to Reading List Source URL: www2.yz.yamagata-u.ac.jp Language: Japanese - Date: 2012-06-18 03:24:46
108	Synopsys FPGA and Simulink-Based Design Solutions for Automotive Synopsys Automotive Seminar – Japan May 2012 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-01-15 08:15:47 Electronic design Fabless semiconductor companies Integrated circuits Field-programmable gate array Logic synthesis High-level synthesis Xilinx Synopsys Integrated circuit design Electronic engineering Electronics Electronic design automation
109	Using Glyph Transformations In High-Logic® FontCreator Professional 6.5 The transform feature is useful for making new type styles from existing fonts. It is not available in the Home Edition, but only in the Profession Add to Reading List Source URL: www.high-logic.com Language: English - Date: 2014-03-10 06:27:30 Graphic design Latin alphabet Typeface Font OpenType PANOSE Typographic ligature Subscript and superscript Serif Typography Typesetting Digital typography
110	® SP200[removed][removed] +5V High–Speed RS-232 Transceivers with 0.1µF Capacitors ■ Add to Reading List Source URL: optimus.meleeisland.net Language: English Charge pump Pinout Capacitor IC power supply pin Logic level Power supply 5V Technology Electromagnetism Electrical engineering Integrated circuits

UPDATE