A Formal VLSI parallel description and design environment

A Formal VLSI parallel description and design environment

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	AlHumaigani, Muhammad Abdallah (author)
مؤلفون آخرون:	unknown (author)
التنسيق:	masterThesis
منشور في:	1995
الموضوعات:	Computer
الوصول للمادة أونلاين:	https://eprints.kfupm.edu.sa/id/eprint/9999/1/9999.pdf
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

مواد مشابهة

Formal synthesis of VLSI layouts from algorithmic specifications
حسب: Sait, Sadiq M.
منشور في: (2020)

HPTS: heterogeneous parallel tabu search for VLSI placement
حسب: Al-Yamani, A.
منشور في: (2002)

A Parallel Tabu search algorithm for VLSI standard cell placement.
حسب: Al-Yamani, Ahmad Abdul-Jabbar
منشور في: (1999)

Evaluating Parallel Simulated Evolution Strategies for VLSI Cell Placement
حسب: Sait, Sadiq M.
منشور في: (2020)

Evaluating Parallel Simulated Evolution Strategies for VLSI Cell Placement
حسب: Sait, Sadiq M.
منشور في: (2007)

Evaluating parallel simulated evolution strategies for VLSI cell placement
حسب: Sait, Sadiq M.
منشور في: (2006)

A Parallel Tabu Search Algorithm for Optimizing Multiobjective VLSI Placement
حسب: Minhas, Mahmood R.
منشور في: (2005)

A parallel tabu search algorithm for VLSI standard-cell placement
حسب: Suit, S.M.
منشور في: (2000)

A Parallel Tabu Search Strategy for Cell Placement in VLSI Circuit Design
حسب: Sait, Sadiq M.
منشور في: (2020)

AutoVLSI system: a layout system for general-cell VLSI design
حسب: Abu-Saleh, Hazem Muhebbadin Ahmad Naji
منشور في: (1995)

Back-end design of a formal high level synthesis system
حسب: Ul-Hasan, Masud
منشور في: (1993)

Back-end design of a formal high level synthesis system
حسب: Hasan, Masudul
منشور في: (1993)

Back-End Design of a Formal High Level Synthesis System
حسب: Masud-Ul-Hasan,
منشور في: (1993)

Parallel tabu search in a heterogeneous environment
حسب: Al-Yamani, A.
منشور في: (2003)

Parallelization of Iterative Heuristic for Performance-Driven Low-Power VLSI Standard Cell Placement.
حسب: Syed, Sanaullah/SS
منشور في: (2003)

INTEGRATING UAHPL-DA SYSTEMS WITH VLSI DESIGN TOOLS TO SUPPORT VLSI DA COURSES
حسب: Sait, Sadiq M.
منشور في: (1992)

UNIVERSAL ALPHA-A LANGUAGE FOR VLSI DESIGN AUTOMATION
حسب: Masud, M
منشور في: (2020)

The design and implementation of a structured programming language for the description of optical architectures
حسب: Lafi, Adel Othman Mohammed
منشور في: (1992)

The Design and Implementation of a Structured Programming Language for the Description of Optical Architectures
حسب: Lafi, Adel Othman Mohammed
منشور في: (1992)

VLSI DESIGN AND IMPLEMENTATION OF SYSTOLIC TREE QUEUES
حسب: Sait, Sadiq M.
منشور في: (2020)

Fuzzy genetic algorithm for VLSI floorplan design.
حسب: Adiche, Hakim Salah.
منشور في: (1997)

Parallel multi-voltage power minimization in VLSI circuits. (c2013)
حسب: Younes, Rabih Halim
منشور في: (2013)

Genetic algorithm for timing influenced floorplanning of VLSI designs.
حسب: Khan, Mohammed Shahid Tanvir
منشور في: (1994)

Hardware design and VLSI implementation of a byte-wise CRCgenerator chip
حسب: Sait, Sadiq M.
منشور في: (1995)

Hardware specific optimization on RTL description
حسب: Al-Mulhem, Abdulaziz Sultan
منشور في: (1994)

A Formal Executable Semantics of Orc using the K Framework
حسب: unknown
منشور في: (2020)

HARDWARE DESIGN AND VLSI IMPLEMENTATION OF A BYTE-WISE CRC GENERATOR CHIP
حسب: Sait, Sadiq M.
منشور في: (2020)

A systolic algorithm for VLSI design of a 1/N rate Viterbi decoder
حسب: Sait, Sadiq M.
منشور في: (1989)

An Executable Formal Framework for Regular String Transformation in Rewriting Logic
حسب: unknown
منشور في: (2020)

Affordance Equivalences in Robotics: A Formalism
حسب: Andries, Mihai
منشور في: (2018)

A Parallel List Scheduling Algorithm: Design and Performance
حسب: AbdulGhani, Amin Arshad
منشور في: (1993)

A parallel list scheduling algorithm: design and performance
حسب: Abdulghani, Amin Arshad
منشور في: (1993)

INTEGRATING UAHPL-DA SYSTEMS WITH VLSI DESIGN TOOLS TO SUPPORT VLSI DA COURSES
حسب: Sait, Sadiq M.
منشور في: (2020)

Integrating UAHPL-DA systems with VLSI design tools to support VLSIDA courses
حسب: Sait, Sadiq M.
منشور في: (1992)

Generalization of formal concept analysis to fuzzy contexts: application for knowledge extraction.
حسب: Alvi, Faisal
منشور في: (2000)

Choosing between the formal and informal economy
حسب: Abi Aad, Amine A.
منشور في: (2014)

Knowledge management formal and informal mentoring
حسب: Karkoulian, Silva
منشور في: (2008)

A Systolic algorithm for VLSI design of a viterbi decoder.
حسب: Damati, Ali Fiqhi
منشور في: (1988)

AUTOMATIC WEINBERGER ARRAY SYNTHESIS FROM UAHPL DESCRIPTION
حسب: Sait, Sadiq M.
منشور في: (2020)

High-level synthesis from purely behavioral descriptions
حسب: Youssef, H.
منشور في: (2020)

Cannot write session to /tmp/vufind_sessions/sess_css0m5mg4amch4uacbboaq0ohn