Modeling of integrated RF passive devices.

David E. Long Sharad Kapur David E. Long Modeling of integrated RF passive devices. 1-8 2010 CICC https://doi.org/10.1109/CICC.2010.5617404 conf/cicc/2010 db/conf/cicc/cicc2010.html#KapurL10 Sharad Kapur David E. Long Robert C. Frye Yu-Chia Chen Ming-Hsiang Cho Huai-Wen Chang Jun-Hong Ou Bigchoug Hung Synthesis of Optimal On-Chip Baluns. 507-510 2007 CICC https://doi.org/10.1109/CICC.2007.4405782 conf/cicc/2007 db/conf/cicc/cicc2007.html#KapurLFCCCOH07 Sharad Kapur David E. Long Large-scale full-wave simulation. 806-809 2004 conf/dac/2004 DAC https://doi.org/10.1145/996566.996782 db/conf/dac/dac2004.html#KapurL04

Peter R. Kinget Robert C. Melville David E. Long Venugopal Gopinathan An injection-locking scheme for precision quadrature generation. 845-851 2002 37 IEEE J. Solid State Circuits 7 https://doi.org/10.1109/JSSC.2002.1015681 db/journals/jssc/jssc37.html#KingetMLG02

Kanad Chakraborty David E. Long John P. Fishburn Kishore Singhal Lun Ye Christopher Ortiz A signal integrity-driven buffer insertion technique for post-routing noise and delay optimization. 23-26 2002 CICC https://doi.org/10.1109/CICC.2002.1012759 conf/cicc/2002 db/conf/cicc/cicc2002.html#ChakrabortyLFSY02 Piet Wambacq Gerd Vandersteen Joel R. Phillips Jaijeet S. Roychowdhury Wolfgang Eberle Baolin Yang David E. Long Alper Demir 0001 CAD for RF circuits. 520-529 2001 conf/date/2001 DATE https://doi.org/10.1109/DATE.2001.915073 https://doi.ieeecomputersociety.org/10.1109/DATE.2001.915073 http://dl.acm.org/citation.cfm?id=367364 https://www.wikidata.org/entity/Q57896958 db/conf/date/date2001.html#WambacqVPREYLD01 Alper Demir 0001 David E. Long Jaijeet S. Roychowdhury Computing Phase Noise Eigenfunctions Directly from Harmonic Balance/Shooting Matrices. 283- 2001 conf/vlsid/2001 VLSI Design https://doi.org/10.1109/ICVD.2001.902674 https://doi.ieeecomputersociety.org/10.1109/ICVD.2001.902674 db/conf/vlsid/vlsid2001.html#DemirLR01

David E. Long Mahesh A. Iyer Miron Abramovici FILL and FUNI: algorithms to identify illegal states and sequentially untestable faults. 631-657 2000 5 ACM Trans. Design Autom. Electr. Syst. 3 https://doi.org/10.1145/348019.348311 db/journals/todaes/todaes5.html#LongIA00

Sharad Kapur David E. Long Large-scale capacitance calculation. 744-749 2000 conf/dac/2000 DAC https://doi.org/10.1145/337292.337767 db/conf/dac/dac2000.html#KapurL00 Alper Demir 0001 David E. Long Jaijeet S. Roychowdhury Computing Phase Noise Eigenfunctions Directly from Steady-State Jacobian Matrices. 283-288 2000 conf/iccad/2000 ICCAD db/conf/iccad/iccad2000.html#DemirLR00 https://doi.org/10.1109/ICCAD.2000.896487 https://doi.ieeecomputersociety.org/10.1109/ICCAD.2000.896487 http://dl.acm.org/citation.cfm?id=602966 https://www.wikidata.org/entity/Q57896764

Patrice Godefroid David E. Long Symbolic Protocol Verification with Queue BDDs. 257-271 1999 14 Formal Methods Syst. Des. 3 db/journals/fmsd/fmsd14.html#GodefroidL99 https://doi.org/10.1023/A:1008771008310

Peter Feldmann Sharad Kapur David E. Long Efficient Techniques for Modeling Chip-Level Interconnect, Substrate and Package Parasitics. 418-417 1999 conf/date/1999 DATE https://doi.org/10.1109/DATE.1999.761158 https://doi.ieeecomputersociety.org/10.1109/DATE.1999.761158 https://doi.org/10.1145/307418.307536 db/conf/date/date1999.html#FeldmanKL99

Jaijeet Roychowdhury David E. Long Peter Feldmann Cyclostationary noise analysis of large RF circuits with multitone excitations. 324-336 1998 33 IEEE J. Solid State Circuits 3 https://doi.org/10.1109/4.661198 db/journals/jssc/jssc33.html#RoychowdhuryLF98

Sharad Kapur David E. Long Jinsong Zhao Efficient full-wave simulation in layered, lossy media. 211-214 1998 CICC https://doi.org/10.1109/CICC.1998.694965 conf/cicc/1998 db/conf/cicc/cicc1998.html#KapurLZ98 Jinsong Zhao Wayne Wei-Ming Dai Sharad Kapur David E. Long Efficient Three-Dimensional Extraction Based on Static and Full-Wave Layered Green's Functions. 224-229 1998 conf/dac/1998 DAC https://doi.org/10.1145/277044.277103 db/conf/dac/dac98.html#ZhaoDKL98 Al Dunlop Alper Demir 0001 Peter Feldmann Sharad Kapur David E. Long Robert C. Melville Jaijeet S. Roychowdhury Tools and Methodology for RF IC Design. 414-420 1998 conf/dac/1998 DAC https://doi.org/10.1145/277044.277155 db/conf/dac/dac98.html#DunlopDFKLMR98 Sharad Kapur David E. Long High-order Nyström schemes for efficient 3-D capacitance extraction. 178-185 1998 conf/iccad/1998 ICCAD https://doi.org/10.1145/288548.288604 https://doi.org/10.1109/ICCAD.1998.742869 https://doi.ieeecomputersociety.org/10.1109/ICCAD.1998.742869 db/conf/iccad/iccad1998.html#KapurL98 David E. Long The design of a cache-friendly BDD library. 639-645 1998 conf/iccad/1998 ICCAD https://doi.org/10.1145/288548.289102 https://doi.ieeecomputersociety.org/10.1109/ICCAD.1998.743086 db/conf/iccad/iccad1998.html#Long98

Anca Browne Edmund M. Clarke Somesh Jha David E. Long Wilfredo R. Marrero An Improved Algorithm for the Evaluation of Fixpoint Expressions. 237-255 1997 178 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs178.html#BrowneCJLM97 https://doi.org/10.1016/S0304-3975(96)00228-9

Sharad Kapur David E. Long IES3: a fast integral equation solver for efficient 3-dimensional extraction. 448-455 1997 conf/iccad/1997 ICCAD https://doi.org/10.1109/ICCAD.1997.643574 https://doi.ieeecomputersociety.org/10.1109/ICCAD.1997.643574 https://dl.acm.org/citation.cfm?id=266525 db/conf/iccad/iccad1997.html#KapurL97 Mahesh A. Iyer David E. Long Miron Abramovici Identifying Sequential Redundancies Without Search. 457-462 1996 conf/dac/1996 DAC https://doi.org/10.1145/240518.240605 db/conf/dac/dac96.html#IyerLA96 Mahesh A. Iyer David E. Long Miron Abramovici Surprises in Sequential Redundancy Identification. 88-95 1996 ED&TC https://doi.org/10.1109/EDTC.1996.494131 https://doi.ieeecomputersociety.org/10.1109/EDTC.1996.494131 https://dl.acm.org/doi/10.5555/787259.787546 conf/date/1996 db/conf/date/edtc1996.html#IyerLA96 Sharad Kapur David E. Long Jaijeet S. Roychowdhury Efficient time-domain simulation of frequency-dependent elements. 569-573 1996 conf/iccad/1996 ICCAD https://doi.org/10.1109/ICCAD.1996.569912 https://doi.ieeecomputersociety.org/10.1109/ICCAD.1996.569912 https://dl.acm.org/citation.cfm?id=244914 db/conf/iccad/iccad1996.html#KapurLR96 Patrice Godefroid David E. Long Symbolic Protocol Verification With Queue BDDs. 198-206 1996 conf/lics/1996 LICS db/conf/lics/lics96.html#GodefroidL96 https://doi.org/10.1109/LICS.1996.561318 https://doi.ieeecomputersociety.org/10.1109/LICS.1996.561318 Edmund M. Clarke Orna Grumberg David E. Long Model checking. 305-349 1996 conf/nato/1996 NATO ASI DPD db/conf/nato/dpd1996.html#ClarkeGL96 Krishna B. Rajan David E. Long Miron Abramovici Increasing testability by clock transformation (getting rid of those darn states). 224-230 1996 conf/vts/1996 VTS https://doi.org/10.1109/VTEST.1996.510861 https://doi.ieeecomputersociety.org/10.1109/VTEST.1996.510861 db/conf/vts/vts1996.html#RajanLA96

Edmund M. Clarke Orna Grumberg Hiromi Hiraishi Somesh Jha David E. Long Kenneth L. McMillan Linda A. Ness Verification of the Futurebus+ Cache Coherence Protocol. 217-232 1995 6 Formal Methods Syst. Des. 2 db/journals/fmsd/fmsd6.html#ClarkeGHJLMN95 https://doi.org/10.1007/BF01383968

David E. Long Mahesh A. Iyer Miron Abramovici Identifying sequentially untestable faults using illegal states. 4-11 1995 conf/vts/1995 VTS https://doi.org/10.1109/VTEST.1995.512610 https://doi.ieeecomputersociety.org/10.1109/VTEST.1995.512610 db/conf/vts/vts1995.html#LongIA95 Vicky Hartonas-Garmhausen Thomas R. Kurfess Edmund M. Clarke David E. Long Automatic verification of industrial designs. 88-96 1995 WIFT https://doi.org/10.1109/WIFT.1995.515481 https://doi.ieeecomputersociety.org/10.1109/WIFT.1995.515481 conf/wift/1995 db/conf/wift/wift1995.html#Hartonas-GarmhausenKCL95

Jerry R. Burch Edmund M. Clarke David E. Long Kenneth L. McMillan David L. Dill Symbolic model checking for sequential circuit verification. 401-424 1994 13 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 4 https://doi.org/10.1109/43.275352 db/journals/tcad/tcad13.html#BurchCLMD94

Orna Grumberg David E. Long Model Checking and Modular Verification. 843-871 1994 16 ACM Trans. Program. Lang. Syst. 3 https://doi.org/10.1145/177492.177725 db/journals/toplas/toplas16.html#GrumbergL94

Edmund M. Clarke Orna Grumberg David E. Long Model Checking and Abstraction. 1512-1542 1994 16 ACM Trans. Program. Lang. Syst. 5 https://doi.org/10.1145/186025.186051 https://www.wikidata.org/entity/Q29041903 db/journals/toplas/toplas16.html#ClarkeGL94

David E. Long Anca Browne Edmund M. Clarke Somesh Jha Wilfredo R. Marrero An Improved Algorithm for the Evaluation of Fixpoint Expressions. 338-350 1994 conf/cav/1994 CAV db/conf/cav/cav94.html#LongBCJM94 https://doi.org/10.1007/3-540-58179-0_66 Edmund M. Clarke Orna Grumberg Hiromi Hiraishi Somesh Jha David E. Long Kenneth L. McMillan Linda A. Ness Verification of the Futurebus+ Cache Coherence Protocol. 15-30 1993 conf/chdl/1993 CHDL db/conf/chdl/chdl1993.html#ClarkeGHJLMN93 Edmund M. Clarke Orna Grumberg David E. Long Verification Tools for Finite-State Concurrent Systems. 124-175 1993 conf/rex/1993 REX School/Symposium db/conf/rex/rex93.html#ClarkeGL93 https://doi.org/10.1007/3-540-58043-3_19

Soumitra Bose Edmund M. Clarke David E. Long Spiro Michaylov PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. 153-181 1992 8 J. Autom. Reason. 2 db/journals/jar/jar8.html#BoseCLM92 https://doi.org/10.1007/BF00244281

Jerry R. Burch David E. Long Efficient Boolean function matching. 408-411 1992 conf/iccad/1992 ICCAD https://doi.org/10.1109/ICCAD.1992.279337 https://doi.ieeecomputersociety.org/10.1109/ICCAD.1992.279337 https://dl.acm.org/citation.cfm?id=304143 db/conf/iccad/iccad1992.html#BurchL92 Edmund M. Clarke Orna Grumberg David E. Long Model Checking and Abstraction. 342-354 1992 conf/popl/1992 POPL db/conf/popl/popl92.html#ClarkeGL92 https://doi.org/10.1145/143165.143235

Edmund M. Clarke David E. Long Kenneth L. McMillan A language for compositional specification and verification of finite state hardware controllers. 1283-1292 1991 79 Proc. IEEE 9 https://doi.org/10.1109/5.97298 db/journals/pieee/pieee79.html#ClarkeLM91

Orna Grumberg David E. Long Model Checking and Modular Verification. 250-265 1991 conf/concur/1991 CONCUR db/conf/concur/concur1991.html#GrumbergL91 https://doi.org/10.1007/3-540-54430-5_93 Jerry R. Burch Edmund M. Clarke David E. Long Representing Circuits More Efficiently in Symbolic Model Checking. 403-407 1991 conf/dac/1991 DAC https://doi.org/10.1145/127601.127702 db/conf/dac/dac91.html#BurchCL91 Jerry R. Burch Edmund M. Clarke David E. Long Symbolic Model Checking with Partitioned Transistion Relations. 49-58 1991 conf/vlsi/1991 VLSI db/conf/vlsi/vlsi1991.html#BurchCL91 Soumitra Bose Edmund M. Clarke David E. Long Spiro Michaylov PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses 1989 conf/lics/1989 LICS 80-89 db/conf/lics/lics89.html#BoseCLM89 https://doi.org/10.1109/LICS.1989.39161 https://doi.ieeecomputersociety.org/10.1109/LICS.1989.39161 Edmund M. Clarke David E. Long Kenneth L. McMillan Compositional Model Checking 1989 conf/lics/1989 LICS 353-362 db/conf/lics/lics89.html#ClarkeLM89 https://doi.org/10.1109/LICS.1989.39190 https://doi.ieeecomputersociety.org/10.1109/LICS.1989.39190 Miron Abramovici Soumitra Bose Anca Browne Jerry R. Burch Kanad Chakraborty Huai-Wen Chang Yu-Chia Chen Ming-Hsiang Cho Edmund M. Clarke Wayne Wei-Ming Dai Alper Demir 0001 David L. Dill Al Dunlop Wolfgang Eberle Peter Feldmann John P. Fishburn Robert C. Frye Patrice Godefroid Venugopal Gopinathan Orna Grumberg Vasiliki Hartonas-GarmhausenVicky Hartonas-Garmhausen Hiromi Hiraishi Bigchoug Hung Mahesh A. Iyer Somesh Jha Sharad Kapur Peter R. Kinget Thomas R. Kurfess Wilfredo R. Marrero Kenneth L. McMillan Robert C. Melville Spiro Michaylov Linda A. Ness Christopher Ortiz Jun-Hong Ou Joel R. Phillips Krishna B. Rajan Jaijeet S. RoychowdhuryJaijeet Roychowdhury Kishore Singhal Gerd Vandersteen Piet Wambacq Baolin Yang Lun Ye Jinsong Zhao