Skip to content

[DO NOT MERGE] add random clock experiment code#914

Open
masai-openai wants to merge 1 commit intomainfrom
masai/vcf_repro
Open

[DO NOT MERGE] add random clock experiment code#914
masai-openai wants to merge 1 commit intomainfrom
masai/vcf_repro

Conversation

@masai-openai
Copy link
Copy Markdown
Contributor

  1. deadlock got full proof with this set up
    create_random_clock -clock push_clk -period 10
    create_random_clock -clock pop_clk -period 10
  2. deadlock failed with this set up:
    create_clock push_clk -period 30
    create_clock pop_clk -period 50

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant