Symbiotic EDA Suite Documentation

• Getting started with Symbiotic EDA Suite
  • Install the tools and the license
  • Check the tools are installed correctly
  • Formally Verify a simple Verilog example
  • Formally Verify a simple VHDL example
  • Resources
• SymbiYosys
  • Examples
• Yosys
  • Documentation
• MCY
  • Examples
• Training
  • Introductory Course
  • Intermediate Course
• Videos
• AWS machine instance
  • Go to the URL https://aws.amazon.com/marketplace/pp/B0862DRQGT
  • Continue to configuration
  • Choose your region
  • Continue to Launch
  • Change instance type
  • Choose default security group
  • Choose or setup a key pair
  • Create the new key pair
  • Name and download the pem key pair
  • Save the key pair
  • Your new keypair will be shown in the list
  • Refresh the key pairs
  • Choose the new key
  • Launch the new instance
  • Go to the EC2 console
  • Go to the default security group configuration
  • Choose the default group
  • Add a new inbound rule
  • Add a new rule
  • Change inbound type to SSH
  • Setup source IP
  • Save the new rule
  • View the instances
  • Connect to the instances
  • Copy the chmod text
  • Run the command on your downloaded key
  • Copy the ssh text
  • Run the ssh command
  • Confirm connection
  • Start yosys to test the tools
  • Terminate instance when finished
  • Confirm termination