RTL to GDS|| Implementation of a Digital System supporting Read, Write, Low-Power ALU Operation With/Without Operand Commands through core blocks operation with 50 MHz interfaced with 6.9 KHz UART peripheral.
- Efficient RTL Coding Using Verilog language
- Building Advanced Self-checking Verilog Test-bench
- TCL Scripting Language
- Static Timing Analysis
- Low Power Design Techniques
- Clock Domain Crossing
- RTL Synthesis on Design Compiler
- Design For Testing (DFT) Insertion
- Formal Verification Post-Synthesis & Post-DFT & Post-PnR
- ASIC Flow including (Floorplanning, Pin Placement, Clock Tree Synthesis,
- Placement, Routing, Timing Closure, Chip Finishing, Sign Off)
- Post-Layout Verification (Gate Level Simulation)
Design Flow:
- 𝙍𝙏𝙇 𝘿𝙚𝙨𝙞𝙜𝙣 𝙤𝙛 50 𝙈𝙃𝙯 𝘾𝙡𝙤𝙘𝙠 𝘿𝙤𝙢𝙖𝙞𝙣 𝘽𝙡𝙤𝙘𝙠𝙨: System Controller , ALU , 16x8 Register File , Clock Gate.
- 𝙍𝙏𝙇 𝘿𝙚𝙨𝙞𝙜𝙣 𝙤𝙛 9.6 𝙆𝙃𝙯 𝘾𝙡𝙤𝙘𝙠 𝘿𝙤𝙢𝙖𝙞𝙣 𝘽𝙡𝙤𝙘𝙠𝙨: UART Tx , UART Rx , Clock Divider.
- 𝙍𝙏𝙇 𝘿𝙚𝙨𝙞𝙜𝙣 𝙤𝙛 𝘾𝘿𝘾 𝘽𝙡𝙤𝙘𝙠𝙨: Bit Synchronizer , Data Synchronizer with Pulse Generator , Reset Synchronizer.
- 𝙎𝙮𝙨𝙩𝙚𝙢 𝙄𝙣𝙩𝙚𝙜𝙧𝙖𝙩𝙞𝙤𝙣 𝙖𝙣𝙙 𝙑𝙚𝙧𝙞𝙛𝙞𝙘𝙖𝙩𝙞𝙤𝙣 Using Emulated Master Self-Checking Testbench.
- 𝙎𝙮𝙨𝙩𝙚𝙢 𝘾𝙤𝙣𝙨𝙩𝙧𝙖𝙞𝙣𝙞𝙣𝙜 Using Synthesis TCL Scripts.
- 𝙎𝙮𝙨𝙩𝙚𝙢 𝙎𝙮𝙣𝙩𝙝𝙚𝙨𝙞𝙨 𝙖𝙣𝙙 𝙇𝙤𝙜𝙞𝙘𝙖𝙡 𝙊𝙥𝙩𝙞𝙢𝙞𝙯𝙖𝙩𝙞𝙤𝙣 Using Synopsys Design Compiler Tool.
- 𝘼𝙣𝙖𝙡𝙮𝙯𝙚 𝙏𝙞𝙢𝙞𝙣𝙜 𝙋𝙖𝙩𝙝𝙨 and Fix Setup and Hold Violations.
- 𝙋𝙤𝙨𝙩-𝙎𝙮𝙣𝙩𝙝𝙚𝙨𝙞𝙨 𝙁𝙤𝙧𝙢𝙖𝙡 𝙑𝙚𝙧𝙞𝙛𝙞𝙘𝙖𝙩𝙞𝙤𝙣 Using Synopsys Formality Tool.
- 𝘿𝙁𝙏 𝙎𝙘𝙖𝙣 𝘾𝙝𝙖𝙞𝙣𝙨 𝙄𝙣𝙨𝙚𝙧𝙩𝙞𝙤𝙣 𝙖𝙣𝙙 𝙋𝙤𝙨𝙩-𝘿𝙁𝙏 𝙁𝙤𝙧𝙢𝙖𝙡 𝙑𝙚𝙧𝙞𝙛𝙞𝙘𝙖𝙩𝙞𝙤𝙣 Using Synopsys Formality Tool.
- 𝘼𝙎𝙄𝘾 𝙋𝙝𝙮𝙨𝙞𝙘𝙖𝙡 𝙄𝙢𝙥𝙡𝙚𝙢𝙚𝙣𝙩𝙖𝙩𝙞𝙤𝙣 𝙖𝙣𝙙 𝙂𝘿𝙎 𝙁𝙞𝙡𝙚 𝙂𝙚𝙣𝙚𝙧𝙖𝙩𝙞𝙤𝙣 Using Cadence Innovus Tool.
- 𝘼𝙎𝙄𝘾 𝙋𝙝𝙮𝙨𝙞𝙘𝙖𝙡 𝙋𝙤𝙨𝙩-𝙇𝙖𝙮𝙤𝙪𝙩 𝙁𝙪𝙣𝙘𝙩𝙞𝙤𝙣𝙖𝙡 𝙑𝙚𝙧𝙞𝙛𝙞𝙘𝙖𝙩𝙞𝙤𝙣 Using Gate Level Simulations.
- RTL Design from Scratch of system blocks (ALU, Register File, Synchronous FIFO, Integer Clock Divider, Clock Gating, Synchronizers, Main Controller, UART TX, UART RX).
- Integrate and verify functionality through self-checking testbench.
- Constraining the system using synthesis TCL scripts.
- Synthesize and optimize the design using design compiler tool.
- Analyze Timing paths and fix setup and hold violations.
- Verify Functionality equivalence using Formality tool
- Physical implementation of the system passing through ASIC flow phases and generate the GDS File.
- Verify functionality post-layout considering the actual delays.
- ModelSim
- design compiler
- formality
- innovus