Thematische Bibliographien / Hardware Construction Languages (HCLs)

Inhaltsverzeichnis

Zeitschriftenartikel
Dissertationen
Bücher
Buchteile
Konferenzberichte

Auswahl der wissenschaftlichen Literatur zum Thema „Hardware Construction Languages (HCLs)“

Autor: Grafiati

Veröffentlicht am 25. Mai 2024

Zuletzt aktualisiert am 31. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Hardware Construction Languages (HCLs)" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "Hardware Construction Languages (HCLs)"

Kamkin, Alexander Sergeevich, Mikhail Mikhaylovich Chupilko, Mikhail Sergeevich Lebedev, Sergey Aleksandrovich Smolov, and Georgi Gaydadjiev. "Comparison of High-Level Synthesis and Hardware Construction Tools." Proceedings of the Institute for System Programming of the RAS 34, no. 5 (2022): 7–22. http://dx.doi.org/10.15514/ispras-2022-34(5)-1.

Der volle Inhalt der Quelle

Annotation:

Application-specific systems with FPGA accelerators are often designed using high-level synthesis or hardware construction tools. Nowadays, there are many frameworks available, both open-source and commercial. In this work, we attempt to fairly compare several existing solutions (languages and tools), including Verilog (our baseline), Chisel, Bluespec SystemVerilog (Bluespec Compiler), DSLX (XLS), MaxJ (MaxCompiler), and C (Bambu and Vivado HLS). Our analysis has been carried out using a representative example of 8×8 inverse discrete cosine transform (IDCT), a widely used algorithm engaged in,

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Заризенко, Инна Николаевна, та Артём Евгеньевич Перепелицын. "АНАЛИЗ СРЕДСТВ И ТЕХНОЛОГИЙ РАЗРАБОТКИ FPGA КАК СЕРВИС". RADIOELECTRONIC AND COMPUTER SYSTEMS, № 4 (25 грудня 2019): 88–93. http://dx.doi.org/10.32620/reks.2019.4.10.

Der volle Inhalt der Quelle

Annotation:

This article has analyzed the most effective integrated development environments from leading programmable logical device (PLD) manufacturers. Heterogeneous calculations and the applicability of a general approach to the description of hardware accelerator designs are considered. An analytical review of the use of the OpenCL language in the construction of high-performance FPGA-based solutions is performed. The features of OpenCL language usage for heterogeneous computing for FPGA-based accelerators are discussed. The experience of a unified description of projects for solutions based on CPU,

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Kohen, Hanan, and Dov Dori. "Improving Conceptual Modeling with Object-Process Methodology Stereotypes." Applied Sciences 11, no. 5 (2021): 2301. http://dx.doi.org/10.3390/app11052301.

Der volle Inhalt der Quelle

Annotation:

As system complexity is on the rise, there is a growing need for standardized building blocks to increase the likelihood of systems’ success. Conceptual modeling is the primary activity required for engineering systems to be understood, designed, and managed. Modern modeling languages enable describing the requirements and design of systems in a formal yet understandable way. These languages use stereotypes to standardize, clarify the model semantics, and extend the meaning of model elements. An Internet of things (IoT) system serves as an example to show the significant contributions of stere

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Keller, Damián, Aman Jagwani, and Victor Lazzarini. "The Ubimus Plugging Framework: Deploying FPGA-Based Prototypes for Ubiquitous Music Hardware Design." Computers 14, no. 4 (2025): 155. https://doi.org/10.3390/computers14040155.

Der volle Inhalt der Quelle

Annotation:

The emergent field of embedded computing presents a challenging scenario for ubiquitous music (ubimus) design. Available tools demand specific technical knowledge—as exemplified in the techniques involved in programming integrated circuits of configurable logic units, known as field-programmable gate arrays (FPGAs). Low-level hardware description languages used for handling FPGAs involve a steep learning curve. Hence, FPGA programming offers a unique challenge to probe the boundaries of ubimus frameworks as enablers of fast and versatile prototyping. State-of-the-art hardware-oriented approach

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Giraldo, Carlos Alberto, Beatriz Florian-Gaviria, Eval Bladimir Bacca-Cortés, Felipe Gómez, and Francisco Muñoz. "A programming environment having three levels of complexity for mobile robotics." Ingeniería e Investigación 32, no. 3 (2012): 76–82. http://dx.doi.org/10.15446/ing.investig.v32n3.35947.

Der volle Inhalt der Quelle

Annotation:

This paper presents a programming environment for supporting learning in STEM, particularly mobile robotic learning. It was designed to maintain progressive learning for people with and without previous knowledge of programming and/or robotics. The environment was multi-platform and built with open source tools. Perception, mobility, communication, navigation and collaborative behaviour functionalities can be programmed for different mobile robots. A learner is able to programme robots using different programming languages and editor interfaces: graphic programming interface (basic level), XML

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Zielenkiewicz, Maciej, and Aleksy Schubert. "Automata theory approach to predicate intuitionistic logic." Journal of Logic and Computation 32, no. 3 (2021): 554–80. http://dx.doi.org/10.1093/logcom/exab069.

Der volle Inhalt der Quelle

Annotation:

Abstract Predicate intuitionistic logic is a well-established fragment of dependent types. Proof construction in this logic, as the Curry–Howard isomorphism states, is the process of program synthesis. We present automata that can handle proof construction and program synthesis in full intuitionistic first-order logic. Given a formula, we can construct an automaton such that the formula is provable if and only if the automaton has an accepting run. As further research, this construction makes it possible to discuss formal languages of proofs or programs, the closure properties of the automata

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Akay, Abdullah E., and John Sessions. "Applying the Decision Support System, TRACER, to Forest Road Design." Western Journal of Applied Forestry 20, no. 3 (2005): 184–91. http://dx.doi.org/10.1093/wjaf/20.3.184.

Der volle Inhalt der Quelle

Annotation:

Abstract A three-dimensional forest road alignment model, TRACER, was developed to assist a forest road designer with rapid evaluation of alternative road paths. The objective is to design a route with the lowest total cost considering construction, maintenance, and transportation costs, while conforming to design specifications, environmental requirements, and driver safety. The model integrates two optimization techniques: a linear programming for earthwork allocation and a heuristic approach for vertical alignment selection. The model enhances user efficiency through automated horizontal an

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Popescu, Natalie, Ziyang Xu, Sotiris Apostolakis, David I. August, and Amit Levy. "Safer at any speed: automatic context-aware safety enhancement for Rust." Proceedings of the ACM on Programming Languages 5, OOPSLA (2021): 1–23. http://dx.doi.org/10.1145/3485480.

Der volle Inhalt der Quelle

Annotation:

Type-safe languages improve application safety by eliminating whole classes of vulnerabilities–such as buffer overflows–by construction. However, this safety sometimes comes with a performance cost. As a result, many modern type-safe languages provide escape hatches that allow developers to manually bypass them. The relative value of performance to safety and the degree of performance obtained depends upon the application context, including user goals and the hardware upon which the application is to be executed. Since libraries may be used in many different contexts, library developers cannot

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Izatri, Dini Idzni, Nofita Idaroka Rohmah, and Renny Sari Dewi. "Identifikasi Risiko pada Perpustakaan Daerah Gresik dengan NIST SP 800-30." JURIKOM (Jurnal Riset Komputer) 7, no. 1 (2020): 50. http://dx.doi.org/10.30865/jurikom.v7i1.1756.

Der volle Inhalt der Quelle

Annotation:

With the rapid development of technology in Indonesia, several companies and government institutions have begun to implement IT in their systems, as well as the Gresik Regency Regional Library. Information Technology is a field of technology management and covers various fields including but not limited to things such as processes, computer software, information systems, computer hardware, programming languages, and data construction. In short, what makes data, information or knowledge felt in any visual format, through any mechanism of multimedia distribution, is considered part of Informatio

APA, Harvard, Vancouver, ISO und andere Zitierweisen

BANYASAD, OMID, and PHILIP T. COX. "Integrating design synthesis and assembly of structured objects in a visual design language." Theory and Practice of Logic Programming 5, no. 6 (2005): 601–21. http://dx.doi.org/10.1017/s1471068404002285.

Der volle Inhalt der Quelle

Annotation:

Computer Aided Design systems provide tools for building and manipulating models of solid objects. Some also provide access to programming languages so that parametrised designs can be expressed. There is a sharp distinction, therefore, between building models, a concrete graphical editing activity, and programming, an abstract, textual, algorithm-construction activity. The recently proposed Language for Structured Design (LSD) was motivated by a desire to combine the design and programming activities in one language. LSD achieves this by extending a visual logic programming language to incorp

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Dissertationen zum Thema "Hardware Construction Languages (HCLs)"

Ait, Bensaid Samira. "Formal Semantics of Hardware Compilation Framework." Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG085.

Der volle Inhalt der Quelle

Annotation:

Les analyses statiques de pire temps d’exécution sont utilisées pour garantir les délais requis pour les systèmes critiques. Afin d’estimer des bornes précises sur ces temps d’exécution, ces analyses temporelles nécessitent des considérations sur la (micro)- architecture. Habituellement, ces modèles de micro-architecture sont construits à la main à partir des manuels des processeurs. Cependant, les initiatives du matériel libre et les langages de description de matériel de haut niveau (HCLs), permettent de réaborder la problématique de la génération automatique de ces modèles de micro-architec

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Slipp, Walter Whitfield 1964. "Display of arbitrary subgraphs for HPCOM-generated networks." Thesis, The University of Arizona, 1989. http://hdl.handle.net/10150/277016.

Der volle Inhalt der Quelle

Annotation:

Hardware description languages provide digital system designers with a convenient, compact method for describing complex circuits. A Hardware Programming Language (AHPL) is a powerful description language based on the APL programming language. AHPL circuit descriptions can be unambiguously translated into a logic gate network using the HPCOM hardware compiler. The initial discussion section covers the conversion of the VAX version of HPCOM into a version which will run on MS-DOS microcomputers. The major portion of the research focuses on the development, use, and application of a graphics dis

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Nzekwa, Russel. "Construction flexible des boucles de contrôles autonomes pour les applications à large échelle." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2013. http://tel.archives-ouvertes.fr/tel-00843874.

Der volle Inhalt der Quelle

Annotation:

Les logiciels modernes sont de plus en plus complexes. Ceci est dû en partie à l'hétérogénéité des solutions misent en oeuvre, au caractère distribué des architectures de déploiement et à la dynamicité requise pour de tels logiciels qui devraient être capable de s'adapter en fonction des variations de leur contexte d'évolution. D'un autre coté, l'importance grandissante des contraintes de productivité dans le but de réduire les coûts de maintenance et de production des systèmes informatiques a favorisé l'émergence de nouveaux paradigmes pour répondre à la complexité des logiciels modernes. L'i

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Zimmerman, Nicole P. "Time-Variant Load Models of Electric Vehicle Chargers." PDXScholar, 2015. https://pdxscholar.library.pdx.edu/open_access_etds/2297.

Der volle Inhalt der Quelle

Annotation:

In power distribution system planning, it is essential to understand the impacts that electric vehicles (EVs), and the non-linear, time-variant loading profiles associated with their charging units, may have on power distribution networks. This research presents a design methodology for the creation of both analytical and behavioral models for EV charging units within a VHDL-AMS simulation environment. Voltage and current data collected from Electric Avenue, located on the Portland State University campus, were used to create harmonic profiles of the EV charging units at the site. From these p

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bücher zum Thema "Hardware Construction Languages (HCLs)"

Alain, Vachoux, ed. Analog and mixed-signal hardware description languages. Kluwer Academic Publishers, 1997.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

IFIP WG10.2 International Symposium on Computer Hardware Description Languages and their Applications (9th 1989 Washington, D. C.). Computer hardware description languages and their applications: Proceedings of theIFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and their Applications : Washington, D. C., U.S.A., 19-21 June, 1989. North-Holland, 1990.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Carlos, Delgado Kloos, and Damm Werner, eds. Practical formal methods for hardware design. Springer, 1997.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

1947-, Koomen C. J., Motooka To ru 1929-, IFIP TC-10, and IFIP WG 10 2, eds. Computer hardware description languages and their applications: Proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and Their Applications, Tokyo, Japan, 29-31 August 1985. North-Holland, 1985.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

IFIP WG 10.2 International Conference on Computer Hardware Description Languages and their Applications (7th 1985 Tokyo). Computer hardware description languages and their applications: Proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and their Applications : Tokyo, Japan, 29-31 August, 1985. North-Holland, 1985.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

(2003), FDL'03. Languages for system specification: Selected contributions on UML, SystemC, System Verilig, mixed-signal systems, and property specification from FDL'03. Kluwer Academic Publishers, 2004.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Anne, Mignotte, Villar Eugenio, and Horobin Lynn, eds. System on chip design languages: Extended papers : best of FDL'01 and HDLCon'01. Kluwer Academic Publishers, 2002.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Hoffmann, Andreas. Architecture exploration for embedded processors with LISA. Kluwer Academic Publishers, 2002.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

1956-, Foster Harry, ed. Principles of verifiable RTL design: A functional coding style supporting verification processes in Verilog. Kluwer Academic Publishers, 2000.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bening, Lionel. Principles of verifiable RTL design: A functional coding style supporting verification processes in Verilog. 2nd ed. Kluwer Academic Publishers, 2001.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Buchteile zum Thema "Hardware Construction Languages (HCLs)"

Mycroft, Alan, and Richard Sharp. "Hardware/Software Co-design Using Functional Languages." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45319-9_17.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Hartmanns, Arnd. "Correct Probabilistic Model Checking with Floating-Point Arithmetic." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99527-0_3.

Der volle Inhalt der Quelle

Annotation:

AbstractProbabilistic model checking computes probabilities and expected values related to designated behaviours of interest in Markov models. As a formal verification approach, it is applied to critical systems; thus we trust that probabilistic model checkers deliver correct results. To achieve scalability and performance, however, these tools use finite-precision floating-point numbers to represent and calculate probabilities and other values. As a consequence, their results are affected by rounding errors that may accumulate and interact in hard-to-predict ways. In this paper, we show how t

APA, Harvard, Vancouver, ISO und andere Zitierweisen

de Niz, Dionisio, Gaurav Bhatia, and Raj Rajkumar. "Separation of Concerns in Model-Based Development of Distributed Real-Time Systems." In Behavioral Modeling for Embedded Systems and Technologies. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-750-8.ch006.

Der volle Inhalt der Quelle

Annotation:

Software is increasingly being used to enable new features in systems in multiple domains. These domains include automotive, avionics, telecomunication, and industrial automation. Because the user of these systems is not aware of the presence of the software, this type of software is known as embedded software. More importantly, such a software, and the whole system in general, must satisfy not only logical functional requirements but also parafunctional (a.k.a. nonfunctional) properties such as timeliness, security, and reliability. Traditional development languages and tools provide powerful

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "Hardware Construction Languages (HCLs)"

Lukashov, Ivan, and Alexander Antonov. "TRANSACTION-LEVEL DESIGNING OF NEUROMORPHIC PROCESSORS MICROARCHITECTURE." In 24th SGEM International Multidisciplinary Scientific GeoConference 2024. STEF92 Technology, 2024. https://doi.org/10.5593/sgem2024/2.1/s07.11.

Der volle Inhalt der Quelle

Annotation:

Spiking neural networks (SNNs) is a promising research direction to their ability to imitate certain functions of brain. Hardware acceleration of SNN can offer orders of magnitude increase in performance and power efficiency. However, traditional hardware description languages have a barrier for rapid development and prototyping of custom internal hardware mechanisms that affect hardware construction throughout the entire processor structure. Mainstream high-level design methods also have disadvantages, e.g. poor focus on transaction streams management description in dynamically scheduled pipe

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Izraelevitz, Adam, Jack Koenig, Patrick Li, et al. "Reusability is FIRRTL ground: Hardware construction languages, compiler frameworks, and transformations." In 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 2017. http://dx.doi.org/10.1109/iccad.2017.8203780.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Rebello Januário, Leonardo, Gustavo Henrique Müller, Alex Luciano Roesler Rese, Rudimar Luís Scaranto Dazzi, and Thiago Felski Pereira. "Máquina de Turing Analógica para Ensino de Linguagens Formais e Autômatos." In Computer on the Beach. Universidade do Vale do Itajaí, 2021. http://dx.doi.org/10.14210/cotb.v12.p531-533.

Der volle Inhalt der Quelle

Annotation:

The article describes the development of a practical device for teachingin the area of Computer Theory. In the study, an adaptationof the Turing Machine is presented, using hardware and softwareintegration to interpret Formal Languages. Simulating an Automaton,sensors and motors are used to move the device head to the leftand right and to read and write the input tape. The developmentof the mechanism is described in two parts, the first includes thehardware that consists of the construction and adaptation of theTuring Machine, the second the implementation of the software andcommunication part

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Guida, Francesco Ermanno, and Ernesto Voltaggio. "Programming Visual Representations. Evolutions of Visual Identities between Tangible and Intangible." In Systems & Design: Beyond Processes and Thinking. Universitat Politècnica València, 2016. http://dx.doi.org/10.4995/ifdp.2016.3334.

Der volle Inhalt der Quelle

Annotation:

The communication design field it's considerably changed in the last 20 years and more as well as the role of the designer. Technology has modified the daily work tools and new possible relations between the designer, the commitment and the final user can be underlined. Observing some of the most experimental practices, new visual languages have draw the attention, affected by innovative approaches and mixed competencies. The area of visual identities is especially of interest, not excluding other areas of experimentations.The phenomenon of the so-called dynamic or post-logo identities underli

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!