krishanu007
Member level 2
- Joined
- Apr 8, 2010
- Messages
- 49
- Helped
- 0
- Reputation
- 0
- Reaction score
- 0
- Trophy points
- 1,286
- Location
- Bangalore,India
- Activity points
- 1,594
sorry for the confusion . I think by automatic tasks & functions you mean functions & tasks that are recursive.
2. There is no issues with casex & casez after synthesis but formality fails during reference design read if x is used in caseitem in casez
Formal tools are intelligent enough to treat casex and casez..So formal will not fail...
Yes that's my understanding . what is your thinking ?
I used x in caseitem in casez statement . Formality was failling . You can try this on small testcase
Hi krishanu007,
recursive functions mainly for simulation purpose..
I dont think it is a good idea to use recursive functions in real hardware
synthesis tool tries to unfold the recursive function if possible depends on your exit condition..it will add series of redundant combinational block to implement the functionally..say like serial addition.
To be frank i never come across recursive functions in proper designs meant for hardware implementation.
Hi Sakshi,
Check your modelling options in your formal script to treat X/Z as don't cares.
I dont mean modeling..I mean designing real circuits..I also agree not to use recusrsive functions in design .
What do you mena you modelling options in Formality ?
I also agree not to use recusrsive functions in design .
What do you mena you modelling options in Formality ?
We use cookies and similar technologies for the following purposes:
Do you accept cookies and these technologies?
We use cookies and similar technologies for the following purposes:
Do you accept cookies and these technologies?