https://blif.org/~satrajit/
https://blif.org/~satrajit/archive-layout-with-content/
https://blif.org/~satrajit/categories/
https://blif.org/~satrajit/cg/
https://blif.org/~satrajit/collection-archive/
https://blif.org/~satrajit/cv/
https://blif.org/~satrajit/markdown/
https://blif.org/~satrajit/non-menu-page/
https://blif.org/~satrajit/page-archive/
https://blif.org/~satrajit/portfolio/
https://blif.org/~satrajit/publications/
https://blif.org/~satrajit/sitemap/
https://blif.org/~satrajit/tags/
https://blif.org/~satrajit/talkmap.html
https://blif.org/~satrajit/talks/
https://blif.org/~satrajit/teaching/
https://blif.org/~satrajit/terms/
https://blif.org/~satrajit/year-archive/
https://blif.org/~satrajit/markdown_generator/
https://blif.org/~satrajit/files/2004_ICCAD_Incremental_Placement_and_Congestion.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2005_ICCAD_Reducing_Structural_Bias.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2006_DAC_DAG-Aware_AIG_Rewriting.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2006_FPGA_Improvements_to_FPGA_Tech_Mapping.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2006_ICCAD_Factor_Cuts.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2006_ICCAD_Improvements_to_Comb_Equiv.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2006_TCAD_Reducing_Structural_Bias.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2007_DAC_On_Resolution_Proofs_for_CEC.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2007_ICCAD_Priority_Cuts.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2007_IWLS_Linear_Time_Algorithm_for_Opt_Tree_Placement.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2007_TCAD_Improvements_to_FPGA_Tech_Mapping.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2008_ICCAD_Boolean_Factoring.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2008_IWLS_Boolean_Factoring_and_Decomp.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2010_CAV_xMAS_Inductive_Invariants.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2010_HLDVT_xMAS_Modeling.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2011_VMCAI_xMAS_Deadlock.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2012_DT_xMAS_Modeling.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/2012_FMSD_xMAS_Inductive_Invariants.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/files/thesis-ds.pdf
2023-09-06T09:11:43-07:00
https://blif.org/~satrajit/talkmap/map.html
2023-09-06T09:11:43-07:00