P. A. Subrahmanyam - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2005

Guest Editors Introduction: Advances in Configurable ComputingPatrick Lysaght, P. A. Subrahmanyam. dt, 22(2):85-89, 2005. [doi]

1998

Hardware/software partitioning for multifunction systemsAsawaree Kalavade, P. A. Subrahmanyam. tcad, 17(9):819-837, 1998. [doi]

1997

Hardware/software partitioning for multi-function systemsAsawaree Kalavade, P. A. Subrahmanyam. iccad 1997: 516-521 [doi]

T2: HW-SW CodesignP. A. Subrahmanyam, R. Gupta, B. S. Rao. vlsid 1997: 2 [doi]

1996

Design technologies for embedded multimedia systemsP. A. Subrahmanyam, Bryan D. Ackland. ifip 1996: 265-274

1995

Comparing layouts with HDL models: a formal verification techniqueTimothy Kam, P. A. Subrahmanyam. tcad, 14(4):503-509, 1995. [doi]

Extracting RTL models from transistor netlistsK. J. Singh, P. A. Subrahmanyam. iccad 1995: 11-17 [doi]

Quality Assurance in ScriptingP. A. Subrahmanyam, K. J. Singh, Guy A. Story, William Schell. ieeemm, 2(2):50-59, 1995. [doi]

1993

Towards Verifying Large(r) Systems: A Strategy and an ExperimentP. A. Subrahmanyam. charme 1993: 135-154

Specification and Synthesis of Mixed-Mode Systems: Experiments in a VHDL EnvironmentP. A. Subrahmanyam, Josep M. Espinalt, Meng-Lin Yu. iccd 1993: 235-241

Hazard-Free Asynchronous Circuit SynthesisMeng-Lin Yu, P. A. Subrahmanyam. ifip10-5 1993: 87-105

1992

Comparing Layouts with HDL Models: A Formal Verification TechniqueTimothy Kam, P. A. Subrahmanyam. iccd 1992: 588-591

State machine abstraction from circuit layouts using BDD's: applications in verification and synthesisTimothy Kam, P. A. Subrahmanyam. eurodac 1992: 92-97 [doi]

A Verification Guide for the Perplexed Designer: Matching Verification Techniques and Design TasksP. A. Subrahmanyam. vlsid 1992: 341-342 [doi]

A Path-Oriented Approach for Reducing Hazards in Asynchronous DesignsMeng-Lin Yu, P. A. Subrahmanyam. dac 1992: 239-244 [doi]

1989

1988

Reasoning about Systolic AlgorithmsS. Purushothaman, P. A. Subrahmanyam. jpdc, 5(6):669-699, 1988.

1987

An object-based representation for the evolution of VLSI designsJohn D. Gabbe, P. A. Subrahmanyam. aei, 2(4):204-223, 1987. [doi]

Reasoning About Probabilistic Behavior in Concurrent SystemsS. Purushothaman, P. A. Subrahmanyam. TSE, 13(6):740-745, 1987.

LCS - A Leaf Cell Synthesizer Employing Formal Deduction TechniquesP. A. Subrahmanyam. dac 1987: 459-465 [doi]

1986

1985

Formal semantics for a symbolic IC design technique: Examples and applicationsSanjay V. Rajopadhye, P. A. Subrahmanyam. integration, 3(1):13-32, 1985. [doi]

The Software Engineering of Expert Systems: Is Prolog Appropriate?P. A. Subrahmanyam. TSE, 11(11):1391-1400, 1985.

1984

Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic ProgramsP. A. Subrahmanyam, Jia-Huai You. POPL 1984: 228-234

Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic ProgrammingP. A. Subrahmanyam, Jia-Huai You. SLP 1984: 144-153

On Embedding Functions in LogicP. A. Subrahmanyam, Jia-Huai You. ipl, 19(1):41-46, 1984.

1981

Nondeterminism in Abstract Data TypesP. A. Subrahmanyam. icalp 1981: 148-164

1980

A Basis for a Theory of Program SynthesisP. A. Subrahmanyam. AAAI 1980: 74-76

1978

Review of "Linguistic Structures Processing" by A. Zampolli. North Holland Publishing Company 1977P. A. Subrahmanyam. sigact, 10(2):39-41, 1978. [doi]

On a finite axiomatization of the data type LP. A. Subrahmanyam. SIGPLAN, 13(4):80-84, 1978. [doi]

Sign in or sign up to see more results.

runs on WebDSL