Pey-Chang Kent Lin

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Logic Synthesis

Boolean Satisfiability

Top Venues

Publications

Clayton B. McDonald, Hsinwei Chou, Vijay Durairaj, Pey-Chang Kent Lin
Efficient Transistor-Level Symbolic Timing Simulation Using Cached Partial Circuit States. ICCAD (2015)
Pey-Chang Kent Lin, Sunil P. Khatri
Noise-based algorithms for functional equivalence and tautology checking. ICCD (2013)
Subramanian Poothamkurissi Swaminathan, Pey-Chang Kent Lin, Sunil P. Khatri
Timing aware partitioning for multi-FPGA based logic simulation using top-down selective hierarchy flattening. ICCD (2012)
Pey-Chang Kent Lin, Ayan Mandal, Sunil P. Khatri
Boolean satisfiability using noise based logic. DAC (2012)
Pey-Chang Kent Lin, Sunil P. Khatri
Determining gene function in boolean networks using boolean satisfiability. GENSiPS (2012)
Pey-Chang Kent Lin, Sunil P. Khatri
Application of logic synthesis to the understanding and cure of genetic diseases. DAC (2012)
Pey-Chang Kent Lin, Sunil P. Khatri
Efficient cancer therapy using Boolean networks and Max-SAT-based ATPG. GENSiPS (2011)
Pey-Chang Kent Lin, Alex Ivanov, Bradley Johnson, Sunil P. Khatri
A novel cryptographic key exchange scheme using resistors. ICCD (2011)
Pey-Chang Kent Lin, Ayan Mandal, Sunil P. Khatri
Boolean Satisfiability using Noise Based Logic CoRR (2011)
Pey-Chang Kent Lin, Sunil P. Khatri
VLSI implementation of a non-linear feedback shift register for high-speed cryptography applications. ACM Great Lakes Symposium on VLSI (2010)
Pey-Chang Kent Lin, Sunil P. Khatri
Inference of gene predictor set using Boolean satisfiability. GENSiPS (2010)