• Title/Summary/Keyword: verilog

Search Result 536, Processing Time 0.022 seconds

FPGA Implementation and Verification of RISC-V Processor (RISC-V 프로세서의 FPGA 구현 및 검증)

  • Jongbok Lee
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.23 no.5
    • /
    • pp.115-121
    • /
    • 2023
  • RISC-V is an open-source instruction set architecture, and anyone can freely design and implement a RISC-V microprocessor. This paper designes and simulates the RISC-V architecture, synthesizing it in FPGA and verifying it using logic analyzer (ILA). RISC-V core is written in SystemVerilog, which has efficient design and high reusability, and can be used in various application fields. The RISC-V core is implemented as hardware by synthesizing it on the Ultra96-V2 FPGA board using Vivado, and the accuracy and operation of the design are verified through Integrated Logic Analyzer(ILA). As a result of the experiment, it is confirmed that the designed RISC-V core performs the expected operation, and these results can contribute to the design and verification of RISC-V based systems.

Hardware Design for Real-Time Processing of a Combinatorial Interpolation Scaler with Asymmetric Down-scaling and Up-scaling (비대칭 축소 및 확대가 가능한 조합 보간 알고리즘의 실시간 처리를 위한 하드웨어 설계)

  • Si-Yeon Han;Semin Jung;Jeong-Hyeon Son;Jae-Seong Lee;Bong-Soon Kang
    • Journal of IKEEE
    • /
    • v.28 no.1
    • /
    • pp.26-32
    • /
    • 2024
  • Recently, various video resolution formats have emerged, and digital devices have built in dedicated scaler chips to support them by enlarging or reducing the resolution of input videos. Therefore, the performance and hardware size of scaler chips are important. In this paper, the combinatorial interpolation scaler algorithm proposed by Han is used to design the hardware using the line memory structure with dual-clock proposed by Han and Jung. The proposed hardware is capable of real-time processing in QHD environments, designed using Verilog, and validated using Xilinx's Vivado 2023.1. We also verify the performance of Han's proposed algorithm with a quantitative numerical evaluation of the proposed hardware.

A Study on the Built-In Self-Test for AC Parameter Testing of SDRAM using Image Graphic Controller

  • Park, Sang-Bong;Park, Nho-Kyung;Kim, Sang-Hun
    • The Journal of the Acoustical Society of Korea
    • /
    • v.20 no.1E
    • /
    • pp.14-19
    • /
    • 2001
  • We have proposed BIST method and circuit for embedded 16M SDRAM with logic. It can test the AC parameter of embedded 16M SDRAM using the BIST circuit capable of detecting the address of a fail cell installed in an Merged Memory with Logic(MML). It generates the information of repair for redundancy circuit. The function and AC parameter of the embedded memory can also be tested using the proposed BIST method. It is possible to test the embedded SDRAM without external test pin. The total gate of the BIST circuit is approximately 4,500 in the case of synthesizing by 0.25μm cell library and is verified by Verilog simulation. The test time of each one AC parameter is about 200ms using 2Y-March 14n algorithm.

  • PDF

Design and Verification of the Motion Estimation and Compensation Unit Using Full Search Algorithm (전역탐색 알고리즘을 이용한 움직임 추정 보상부 설계 및 검증)

  • Jin Goon-Seon;Kang Jin-Ah;Lim Jae-Yoon
    • Proceedings of the IEEK Conference
    • /
    • 2004.06b
    • /
    • pp.585-588
    • /
    • 2004
  • This paper describes design and verification of the motion estimation and compensation unit using full search algorithm. Video processor is the key device of video communication systems. Motion estimation is the key module of video processor. The technologies of motion estimation and compensation unit are the core technologies for wireless video telecommunications system, portable multimedia systems. In this design, Verilog simulator and logic synthesis tools are used for hardware design and verification. In this paper, motion estimation and compensation unit are designed using FPGA, coded in Verilog HDL, and simulated and verified using Xilinx FPGA.

  • PDF

A Design of Modified Euclidean Algorithm using Finite State Machine (FSM을 이용한 수정된 유클리드 알고리즘 설계)

  • Kang, Sung-Jin
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.11 no.6
    • /
    • pp.2202-2206
    • /
    • 2010
  • In this paper, an architecture for modified Euclidean(ME) algorithm is proposed, which is using finite-state machine(FSM) instead of degree computation. Since the proposed architecture does not have degree computation circuits, it is possible to reduce the hardware complexity of RS(Reed-Solomon) decoder, so that a very high-speed RS decoder can be implemented. RS(255,239) decoder with the proposed architecture is implemented using Verilog-HDL and requires about 13% fewer gate counts than conventional one.

Implementation of Image Contrast Enhancement Module Using Verilog HDL (Verilog HDL을 이용한 영상 콘트라스트 향상 모듈의 구현)

  • Lim, Hae-Keun;Ko, Kwang-Cheol
    • Proceedings of the KIEE Conference
    • /
    • 2005.07d
    • /
    • pp.3055-3057
    • /
    • 2005
  • 영상처리는 크게 두 가지의 목적을 가지고 이루어지게 된다. 첫 번째는 저화질 영상을 고화질로 바꾸거나 문자의 가독성을 높이는 등의 인간이 이해하기 쉽게 영상정보를 개선하는 것이고. 두 번째는 압축 및 변환을 통해 컴퓨터가 빠르고 효율적으로 인식할 수 있게 변환하는 것이다. 영상처리의 목적 중 첫 번째인 인간이 이해하기 쉽게 영상정보를 개선하는 분야를 영상향상(Image Enhancement)이라고 부른다. 본 논문에서 기존의 소프트웨어로 구현한 영상향상 분야를 FPGA를 이용하여 구현함으로써 실시간으로 카메라로부터 들어오는 RAQ이미지의 콘트라스트를 향상시키는 기능을 하게 한다.

  • PDF

Design and Verification of Automotive CAN Controller (차량용 CAN 제어기의 설계 및 검증)

  • Lee, Jong-Bae;Lee, Seongsoo
    • Journal of IKEEE
    • /
    • v.21 no.2
    • /
    • pp.162-165
    • /
    • 2017
  • CAN (controller area network) is a standard real-time serial communication protocol, and it was developed to control various in-vehicle electronic modules. In this paper, a CAN controller was designed in Verilog HDL, based on CAN ver. 2.0A and 2.0B. The designed CAN controller was implemented in FPGA, and it was verified its operation by connecting commercial chips. Its size is about 7,800 gates when synthesized in 0.18um technology.

An Implementation of Automatic Boundary Scan Circuit Generator Supporting Private Instructions (특수 명령어를 지원하는 자동 경계 주사 생성기 구현에 관한 연구)

  • 박재흥;장훈
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.41 no.11
    • /
    • pp.115-121
    • /
    • 2004
  • GenJTAG implemented in this paper is an automatic web-based boundary scan circuit generator. GenJTAG supports all the public instructions for the boundary scan technique, and also private instructions for other DFT techniques to be applied. Users can easily edit the generated boundary scan circuit code because it is described in behavioral level with the Verilog-HDL. GenJTAG has another advantage that any one can generate the boundary scan circuit by simply accessing to the web site.

A Design of Two-Dimensional Wavelet Transformer Using SDRAM (SDRAM을 이용한 이차원 웨이블렛 변환기의 설계)

  • 이선영;홍석일;조경순
    • Proceedings of the IEEK Conference
    • /
    • 1999.11a
    • /
    • pp.351-355
    • /
    • 1999
  • The amount of data stored, processed and transmitted in the multi-media systems has been growing very fast, especially for the image data. For example, it takes 0.75Mbytes to store 512 12 pixels of 24-bit color image. A video signal with 30 frames per second will require 22.5Mbytes of storage space. To solve this problem, we need a good image compression technique. Recently, many researches on the image compression technique based on the wavelet transform are being pursued to overcome the problems of traditional JPEG. This paper describes the architecture and design of two-dimensional wavelet transform circuit. To keep the sire of the circuit small, we tried to minimize the internal storage space by using external SDRAM. This circuit was designed in Verilog-HDL, synthesized using Design Compiler and verified using Verilog-XL.

  • PDF

VERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS

  • Yoo, Jun-Beom;Cha, Sung-Deok;Jee, Eun-Kyung
    • Nuclear Engineering and Technology
    • /
    • v.41 no.1
    • /
    • pp.79-90
    • /
    • 2009
  • Verification of programmable logic controller (PLC) programs written in IEC 61131-3 function block diagram (FBD) is essential in the transition from the use of traditional relay-based analog systems to PLC-based digital systems. This paper describes effective use of the well-known verification tool VIS for automatic verification of behavioral equivalences between successive FBD revisions. We formally defined FBD semantics as a state-transition system, developed semantic-preserving translation rules from FBD to Verilog programs, implemented a software tool to support the process, and conducted a case study on a subset of FBDs for APR-1400 reactor protection system design.