Sajjad Taheri

Identifiers

• name variant Sajjad Taheri 0.60 · backfill

Papers (1)

1. Automated Formal Equivalence Verification of Pipelined Nested Loops in Datapath Designs cs.AR · 2017 · author #3

Mentions

• 1712.09818 #3 · arxiv_oai · confidence 0.70 Sajjad Taheri

Frequent Coauthors

• Bijan Alizadeh 1 shared papers
• Payman Behnam 1 shared papers