Search results for "synthesizability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
68	Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary	Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability.	PEPM	2008	DBLP DOI BibTeX RDF	statically typed two-level languages, synthesizability, verilog elaboration, code generation, hardware description languages
47	Ibrahim M. Elfadel, David D. Ling	Zeros and Passivity of Arnoldi-Reduced-Order Models for Interconnect Networks.	DAC	1997	DBLP DOI BibTeX RDF
32	Andrew S. Lee, Sarah Elliott, Hassan Harb, Logan T. Ward, Ian T. Foster, Larry A. Curtiss, Rajeev S. Assary	Emin: A First-Principles Thermochemical Descriptor for Predicting Molecular Synthesizability.	J. Chem. Inf. Model.	2024	DBLP DOI BibTeX RDF
32	Cheng-Hao Liu, Maksym Korablyov, Stanislaw Jastrzebski, Pawel Wlodarczyk-Pruszynski, Yoshua Bengio, Marwin H. S. Segler	RetroGNN: Fast Estimation of Synthesizability for Virtual Screening and De Novo Design by Learning from Slow Retrosynthesis Software.	J. Chem. Inf. Model.	2022	DBLP DOI BibTeX RDF
32	Wenhao Gao 0001, Connor W. Coley	The Synthesizability of Molecules Proposed by Generative Models.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
32	Wenhao Gao 0001, Connor W. Coley	The Synthesizability of Molecules Proposed by Generative Models.	CoRR	2020	DBLP BibTeX RDF
32	Feng Yang, Gui-Song Xia, Dengxin Dai, Liangpei Zhang 0001	Learning the Synthesizability of Dynamic Texture Samples.	IEEE Trans. Image Process.	2019	DBLP DOI BibTeX RDF
32	Feng Yang, Gui-Song Xia, Dengxin Dai, Liangpei Zhang 0001	Learning the Synthesizability of Dynamic Texture Samples.	CoRR	2018	DBLP BibTeX RDF
32	Feng Yang, Gui-Song Xia, Dengxin Dai, Liangpei Zhang 0001	Delving into the Synthesizability of Dynamic Texture Samples.	ICPR	2018	DBLP DOI BibTeX RDF
32	Dengxin Dai, Hayko Riemenschneider, Luc Van Gool	The Synthesizability of Texture Examples.	CVPR	2014	DBLP DOI BibTeX RDF
32	Ansuman Banerjee	Synthesizability of 3 Party Formal Specifications-Does My Controller See Enough?.	VLSI Design	2010	DBLP DOI BibTeX RDF	Satisfiability, LTL, Realizability, QBF
32	Hamid R. Zarandi, Seyed Ghassem Miremadi, Ali Reza Ejlali	Dependability Analysis Using a Fault Injection Tool Based on Synthesizability of HDL Models.	DFT	2003	DBLP DOI BibTeX RDF
32	Masaharu Imai, Eugenio Villar	ASPDAC 1995: HDL synthesizability and interoperability.	IEEE Des. Test Comput.	1996	DBLP BibTeX RDF
32	Masaharu Imai, Eugenio Villar	Future direction of synthesizability and interoperability of HDL's: part 1.	ASP-DAC	1995	DBLP DOI BibTeX RDF
32	Mirella Mastretti	VHDL quality: synthesizability, complexity and efficiency evaluation.	EURO-DAC	1995	DBLP DOI BibTeX RDF
23	Pierre Bomel, Nabil Abdelli, Eric Martin 0001, Anne-Marie Fouilliart, Emmanuel Boutillon, Philippe Kajfasz	High-Level Synthesis in Latency Insensitive System Methodology.	DSD	2005	DBLP DOI BibTeX RDF
23	Nirav Dave	Designing a reorder buffer in Bluespec.	MEMOCODE	2004	DBLP DOI BibTeX RDF
23	Nico Bannow, Karsten Haug	Evaluation of an Object-Oriented Hardware Design Methodology for Automotive Applications.	DATE	2004	DBLP DOI BibTeX RDF
23	Luigi Pomante	Exploiting polymorphism in HW design: a case study in the ATM domain.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	design, ATM, synthesis, polymorphism, SystemC
23	Tiberiu Chelcea, Steven M. Nowick, Andrew Bardsley, Doug A. Edwards	A Burst-Mode Oriented Back-End for the Balsa Synthesis System.	DATE	2002	DBLP DOI BibTeX RDF
23	Michael Eisenring, Jürgen Teich	Interfacing Hardware and Software.	FPL	1998	DBLP DOI BibTeX RDF	automatic interface synthesis, low power design, rapid prototyping, hardware/software codesign
23	Ibrahim M. Elfadel, David D. Ling	A block rational Arnoldi algorithm for multipoint passive model-order reduction of multiport RLC networks.	ICCAD	1997	DBLP DOI BibTeX RDF	Arnoldi iteration, multipoint Pade' approximation, passivity, model-order reduction