نتایج جستجو برای: vhdl

تعداد نتایج: 2569  

Journal: :Indian Journal of Science and Technology 2016

Journal: :IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 1995

Journal: :IOP Conference Series: Materials Science and Engineering 2018

Journal: :Indonesian Journal of Electrical Engineering and Computer Science 2020

2000
Rajarishi Sinha Christiaan J. J. Paredis Pradeep K. Khosla

We present a framework that verifies and maintains the consistency between the representations of the form, function and behavior of mechatronic devices. These three aspects of the device represent the geometry, the task, and the actions taken to realize the task, respectively (Pahl and Beitz, 1996). They evolve simultaneously through the design process. When the designer makes a change to one ...

ژورنال: :علوم و فنون نظامی 0
حسن رفیعی یکتا - مربی دانشکده مهندسی برق، دانشگاه علوم و فنون فارابی جلیل مظلوم - استادیار دانشکده مهندسی برق، دانشگاه علوم و فنون هوایی شهید ستاری احمد زوار تربتی - دانشجوی دکتری مهندسی برق – مخابرات (سیستم) دانشگاه صنعتی مالک اشتر

با گسترش ارتباطات رادیویی، امینت اطلاعات در معرض تهدید قرار گرفت. رمزکننده ها برای کاهش خطرات ناشی از استفاده نادرست از ارتباطات رادیویی بکار گرفته شدند. البته رمزکننده هایی که سابقاً در این حوزه مورد استفاده قرار می گرفتند بسیار ضعیف بودند و به راحتی شکسته می شدند. یکی از الگوریتم های رمز که اخیراً در سامانه های ارتباط رادیویی مورد استفاده قرار می گیرد، الگوریتم رمزaes  است. البته استفاده از این...

2014
Hao Dong Xingguo Xiong Xuan Zhang

In this paper, the design and implementation of a real-time traffic light control system based on Fieldprogrammable Gate Array (FPGA) technology is reported. The traffic light control system is designed with VHDL language. Its function was verified with simulation. After that, the VHDL design was downloaded to FPGA board hardware to verify its function in experiment. The designed traffic light ...

1995
Laurence PIERRE Victor Hugo

This paper addresses the problem of formally verifying VHDL descriptions. More precisely, we check the correctness of a VHDL architecture w.r.t. another architecture of the same entity. Both of them are translated into recursive functional forms, and the proof of their equivalence is realized by means of the Boyer-Moore theorem prover. Our methodology is illustrated by a signi cant example that...

1999
Morteza Fayyazi Zainalabedin Navabi Armita Peymandoust

VHDL models for neural networks for automatic test generation of gate level circuits are presented in this paper. A program converts a gate netlist to its equivalent neural model. A good circuit and faultable bad circuits will be generated. A VHDL test bench has been developed to apply the faults to the neural network bad circuit model, and report tests that are generated for each injected fault.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید