• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Logic synthesis using linear transformation and memories.

Research Project

Project/Area Number 23300016
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Computer system/Network
Research InstitutionMeiji University (2013)
Kyushu Institute of Technology (2011-2012)

Principal Investigator

SASAO Tsutomu  明治大学, 理工学部, 教授 (20112013)

Co-Investigator(Renkei-kenkyūsha) IGUHI Yukihiro   (60201307)
Research Collaborator BUTLER Jon T  
Project Period (FY) 2011-04-01 – 2014-03-31
Project Status Completed (Fiscal Year 2013)
Budget Amount *help
¥9,100,000 (Direct Cost: ¥7,000,000、Indirect Cost: ¥2,100,000)
Fiscal Year 2013: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
Fiscal Year 2012: ¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2011: ¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Keywords線形変換 / 関数分解 / 不完全定義関数 / CAM(連想メモリ) / インデックス生成関数 / コンピュータウイルス検出 / パターンマッチング / 国際研究者交流, / 米国 / 線形関数 / CAM(連想メモリ) / CAM(連想メモリ)
Research Abstract

In routers for the internet and computer virus scanners, high-speed pattern matching is indispensable. In such applications, patterns must be modified frequently. To perform such operation, CAMs (Content Addressable Memories) have been used. Unfortunately, CAMs dissipate high power, and large-scale CAMs are very expensive. In this research, we developed a method to decompose an index generation function into linear and non-linear parts. Non-linear parts are realized by memories, where the number of input variables are reduced. With this method, we can implement a large-scale pattern matching circuit by using general-purpose memories. Thus, obtained circuits are low-cost and low-power.

Report

(4 results)
  • 2013 Annual Research Report   Final Research Report ( PDF )
  • 2012 Annual Research Report
  • 2011 Annual Research Report
  • Research Products

    (66 results)

All 2014 2013 2012 2011 Other

All Journal Article (11 results) (of which Peer Reviewed: 2 results) Presentation (50 results) (of which Invited: 2 results) Book (1 results) Remarks (4 results)

  • [Journal Article] EVMDD-Based analysis and diagnosis methods of multi-state systems with multi-state components2014

    • Author(s)
      S. Nagayama, T. Sasao and J. T. Butler
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: Vol. 22, No.1-2 Pages: 59-78

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2014.html

    • Related Report
      2013 Final Research Report
  • [Journal Article] A virus scanning engine using an MPU and an IGU based on row-shift decomposition2013

    • Author(s)
      H. Nakahara, T. Sasao, and M. Matsuura
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: Vol.E96-D, No.8 Pages: 1667-1675

    • NAID

      130003370948

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2013.html

    • Related Report
      2013 Annual Research Report 2013 Final Research Report
  • [Journal Article] On the number of products in prefix SOPs for interval functions2013

    • Author(s)
      I. Syafalni and T. Sasao
    • Journal Title

      IEICE Trans. on Information and Systems

      Volume: Vol. E96-D, No.5 Pages: 1086-1094

    • NAID

      10031193961

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2013.html

    • Related Report
      2013 Annual Research Report 2013 Final Research Report
  • [Journal Article] Multiple-valued index generation functions : Reduction of variables by linear transformation2013

    • Author(s)
      T. Sasao
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: Vol. 21, No.5-6 Pages: 541-559

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2013.html

    • Related Report
      2013 Final Research Report
  • [Journal Article] パターンマッチング用プログラマブル論理回路とその設計法2013

    • Author(s)
      笹尾勤
    • Journal Title

      電子情報通信学会誌

      Volume: Vol.96, No.2 Pages: 100-104

    • NAID

      110009586282

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2013.html

    • Related Report
      2013 Final Research Report 2012 Annual Research Report
  • [Journal Article] Multiple-valued index generation functions: Reduction of variables by linear transformation2013

    • Author(s)
      T. Sasao
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: 21 Pages: 541-559

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Regular expression matching circuit : Decomposed non-deterministic realization with prefix sharing and multi-character transition2012

    • Author(s)
      H. Nakahara, T. Sasao, and M. Matsuura
    • Journal Title

      Microprocessors and Microsystems

      Volume: Vol. 36 Issue: 8 Pages: 644-664

    • DOI

      10.1016/j.micpro.2012.05.009

    • Related Report
      2013 Final Research Report
  • [Journal Article] A Comparison of multi-valued and heterogeneous decision diagram machines2012

    • Author(s)
      H. Nakahara, T. Sasao and M. Matsuura
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: Vol. 19, No.1-3 Pages: 203-217

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2012.html

    • Related Report
      2013 Final Research Report 2012 Annual Research Report
  • [Journal Article] A design method of a regular expression matching circuit based on decomposed automaton2012

    • Author(s)
      H. Nakahara, T. Sasao, and M. Matsuura
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: Vol. E95-D, No.2 Pages: 364-373

    • NAID

      10030610597

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2012.html

    • Related Report
      2013 Final Research Report 2011 Annual Research Report
  • [Journal Article] A Regular expression matching circuit: Decomposed non-deterministic realization with prefix sharing and multi-character transition2012

    • Author(s)
      H. Nakahara, T. Sasao, and M. Matsuura
    • Journal Title

      Microprocessors and Microsystems

      Volume: 36 Pages: 644-664

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A fast segmentation algorithm for piecewise polynomial numeric function generators2011

    • Author(s)
      J.T. Butler, C. L. Frenzen, N. Macaria, and T. Sasao
    • Journal Title

      Journal of Computational and Applied Mathematics

      Volume: Vol. 235, Issue14 Issue: 14 Pages: 4076-4082

    • DOI

      10.1016/j.cam.2011.02.033

    • Related Report
      2013 Final Research Report 2011 Annual Research Report
  • [Presentation] 不完全定義インデックス生成関数の線形変換を求める発見的手法2014

    • Author(s)
      笹尾勤、浦野雄太,井口幸洋
    • Organizer
      電子情報通信学会, 第27回多値論理とその応用研究会,
    • Place of Presentation
      鹿児島
    • Related Report
      2013 Annual Research Report
  • [Presentation] インデックス生成関数を表現するために必要な変数の個数の平均値について2014

    • Author(s)
      笹尾勤
    • Organizer
      2014年 Design & Test Colloquium, (DTC2014)
    • Place of Presentation
      沼津
    • Related Report
      2013 Annual Research Report
  • [Presentation] A Packet Classifier using LUT cascades Based on EVMDDs(k)2013

    • Author(s)
      H. Nakahara, T. Sasao, and M. Matsuura
    • Organizer
      The 23rd International Conference on Field Programmable Logic and Applications (FPL-2013)
    • Place of Presentation
      Porto, Portugal
    • Year and Date
      2013-09-02
    • Related Report
      2013 Final Research Report
  • [Presentation] Forty years of logic synthesis : Memoir2013

    • Author(s)
      T. Sasao
    • Organizer
      RM-2013
    • Place of Presentation
      Toyama, Japan
    • Year and Date
      2013-05-24
    • Related Report
      2013 Final Research Report
  • [Presentation] A heuristic method to find linear decompositions for incompletely specified index generation functions2013

    • Author(s)
      T. Sasao, Y. Urano, and Y. Iguchi
    • Organizer
      The 18th workshop on Synthesis and system Integration of Mixed Information Technologies
    • Place of Presentation
      Sapporo, Japan
    • Related Report
      2013 Final Research Report
  • [Presentation] A fast simplification algorithm for packet classification2013

    • Author(s)
      I.Syafalni and T. Sasao
    • Organizer
      The 18th workshop on Synthesis and system Integration of Mixed Information Technologies
    • Place of Presentation
      Sapporo, Japan
    • Related Report
      2013 Final Research Report
  • [Presentation] A TCAM generator for packet classification2013

    • Author(s)
      I. Syafalni and T. Sasao
    • Organizer
      The 31st IEEE International Conference on Computer Design (ICCD-2013)
    • Place of Presentation
      Asheville, NC, USA
    • Related Report
      2013 Final Research Report
  • [Presentation] A packet classifier using parallel EVMDD(k) machine2013

    • Author(s)
      H. Nakahara, T. Sasao, and M. Matsuura
    • Organizer
      7th IEEE International Symposium on Embedded Multicore SoCs (MCSoC-13)
    • Related Report
      2013 Final Research Report
  • [Presentation] Cyclic row-shift decompositions for incompletely specified index generation functions2013

    • Author(s)
      T. Sasao
    • Organizer
      IWLS-2013
    • Place of Presentation
      Austin, Texas
    • Related Report
      2013 Final Research Report
  • [Presentation] An architecture for IPv6 lookup using parallel index generation units2013

    • Author(s)
      H. Nakahara, T. Sasao and M. Matsuura
    • Organizer
      The 9th International Symposium on Applied Reconfigurable Computing (ARC2013)
    • Place of Presentation
      Los Angeles
    • Related Report
      2013 Final Research Report
  • [Presentation] Hardware index to set partition converter2013

    • Author(s)
      J. T. Butler and T. Sasao
    • Organizer
      The 9th International Symposium on Applied Reconfigurable Computing (ARC2013)
    • Place of Presentation
      Los Angeles
    • Related Report
      2013 Final Research Report
  • [Presentation] Four decades of multi-valued logic: Lists of highly cited papers2013

    • Author(s)
      T. Sasao
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • Place of Presentation
      富山
    • Related Report
      2013 Annual Research Report
  • [Presentation] An application of autocorrelation functions to find linear decompositions for incompletely specified index generation functions2013

    • Author(s)
      T. Sasao
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • Place of Presentation
      富山
    • Related Report
      2013 Annual Research Report
  • [Presentation] A machine to evaluate decomposed multi-terminal multi-valued decision diagrams for characteristic functions2013

    • Author(s)
      H. Nakahara, T. Sasao and M. Matsuura
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • Place of Presentation
      富山
    • Related Report
      2013 Annual Research Report
  • [Presentation] Cyclic row-shift decompositions for incompletely specified index generation functions2013

    • Author(s)
      T. Sasao
    • Organizer
      Internatioal Workshop on Logic and Synthesis
    • Place of Presentation
      Austin, Texas
    • Related Report
      2013 Annual Research Report
  • [Presentation] A packet classifier using LUT cascades based on EVMDDs(k)2013

    • Author(s)
      H. Nakahara, T. Sasao, and M. Matsuura,
    • Organizer
      The 23rd International Conference on Field Programmable Logic and Applications
    • Place of Presentation
      Porto, Portugal
    • Related Report
      2013 Annual Research Report
  • [Presentation] A packet classifier using parallel EVMDD(k) machine2013

    • Author(s)
      H. Nakahara, T. Sasao, and M. Matsuura
    • Organizer
      7th IEEE International Symposium on Embedded Multicore SoCs
    • Place of Presentation
      東京
    • Related Report
      2013 Annual Research Report
  • [Presentation] A TCAM generator for packet classification2013

    • Author(s)
      I. Syafalni and T. Sasao
    • Organizer
      International Conference on Computer Design (ICCD-2013)
    • Place of Presentation
      Asheville, NC, USA
    • Related Report
      2013 Annual Research Report
  • [Presentation] A heuristic method to find linear decompositions for incompletely specified index generation functions2013

    • Author(s)
      T. Sasao, Y. Urano, and Y. Iguchi
    • Organizer
      The 18th workshop on Synthesis and system Integration of Mixed Information
    • Place of Presentation
      札幌
    • Related Report
      2013 Annual Research Report
  • [Presentation] インデックス生成関数の表現に必要な変数の個数の下界について2013

    • Author(s)
      浦野雄太、笹尾勤、井口幸洋
    • Organizer
      第36回多値論理フォーラム
    • Place of Presentation
      姫路
    • Related Report
      2013 Annual Research Report
  • [Presentation] An architecture for IPv6 lookup using parallel index generation units2013

    • Author(s)
      H. Nakahara, T. Sasao and M. Matsuura
    • Organizer
      The 9th International Symposium on Applied Reconfigurable Computing (ARC2013)
    • Place of Presentation
      Los Angeles, USA
    • Related Report
      2012 Annual Research Report
  • [Presentation] Hardware index to set partition converter2013

    • Author(s)
      J. T. Butler and T. Sasao
    • Organizer
      The 9th International Symposium on Applied Reconfigurable Computing (ARC2013)
    • Place of Presentation
      Los Angeles, USA
    • Related Report
      2012 Annual Research Report
  • [Presentation] On a wideband fast Fourier transform using piecewise linear approximations : Application to a radio telescope spectrometer2012

    • Author(s)
      H. Nakahara, H. Nakanishi, and T. Sasao
    • Organizer
      The 12th IEEE International Conference on Algorithms and Architectures for Parallel Processing
    • Place of Presentation
      Lecture Notes in Computer Science
    • Related Report
      2013 Final Research Report
  • [Presentation] A fast head-tail expression generator for TCAM : Application to packet classification2012

    • Author(s)
      I. Syafalni and T. Sasao
    • Organizer
      IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2012)
    • Place of Presentation
      Amherst, USA21
    • Related Report
      2013 Final Research Report
  • [Presentation] On a wideband fast Fourier transform for a radio telescope2012

    • Author(s)
      H. Nakahara, H. Nakanishi, and T. Sasao
    • Organizer
      the 3rd International Workshop on Highly Efficient Accelerators and Reconfigurable Technologies (HEART 2012)
    • Place of Presentation
      Okinawa, Japan
    • Related Report
      2013 Final Research Report
  • [Presentation] Hardware index to permutation converter2012

    • Author(s)
      J. T. Butler and T. Sasao
    • Organizer
      19th Reconfigurable Architectures Workshop
    • Place of Presentation
      Shanghai, China
    • Related Report
      2013 Final Research Report 2012 Annual Research Report
  • [Presentation] Multiple-valued input index generation functions : Optimization by linear transformation2012

    • Author(s)
      T. Sasao
    • Organizer
      International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Victoria, Canada
    • Related Report
      2013 Final Research Report
  • [Presentation] Analysis of multi-state systems with multi-state components using EVMDDs2012

    • Author(s)
      S. Nagayama, T. Sasao, and J. T. Butler
    • Organizer
      International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Victoria, Canada
    • Related Report
      2013 Final Research Report
  • [Presentation] Multi-terminal multiple-valued decision diagrams for characteristic function representing cluster decomposition2012

    • Author(s)
      H. Nakahara, T. Sasao, and M. Matsuura
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2012)
    • Place of Presentation
      Victoria, Canada
    • Related Report
      2013 Final Research Report 2012 Annual Research Report
  • [Presentation] A low-cost and high-performance virus scanning engine using a binary CAM emulator and an MPU2012

    • Author(s)
      H. Nakahara, T. Sasao and M. Matsuura
    • Organizer
      8th International Symposium on Applied Reconfigurable Computing
    • Place of Presentation
      Hong-Kong
    • Related Report
      2013 Final Research Report
  • [Presentation] Row-shift decompositions for index generation functions2012

    • Author(s)
      T. Sasao
    • Organizer
      Design, Automation and Test in Europe, (DATE-2012)
    • Place of Presentation
      Dresden, Germany
    • Related Report
      2013 Final Research Report 2011 Annual Research Report
  • [Presentation] Linear decomposition of index generation functions2012

    • Author(s)
      T. Sasao
    • Organizer
      17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012)
    • Place of Presentation
      Sydney, Australia
    • Related Report
      2013 Final Research Report 2011 Annual Research Report
  • [Presentation] Multiple-valued input index generation functions: Optimization by linear transformation2012

    • Author(s)
      T. Sasao
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2012)
    • Place of Presentation
      Victoria, Canada
    • Related Report
      2012 Annual Research Report
  • [Presentation] Analysis of multi-state systems with multi-state components using EVMDDs2012

    • Author(s)
      S. Nagayama, T. Sasao, and J. T. Butler
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2012)
    • Place of Presentation
      Victoria, Canada
    • Related Report
      2012 Annual Research Report
  • [Presentation] A fast head-tail expression generator for TCAM: Application to packet classification2012

    • Author(s)
      I. Syafalni and T. Sasao
    • Organizer
      IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2012)
    • Place of Presentation
      Amherst, USA
    • Related Report
      2012 Annual Research Report
  • [Presentation] On a wideband fast Fourier transform using piecewise linear approximations: Application to a radio telescope spectrometer2012

    • Author(s)
      H. Nakahara, H. Nakanishi, and T. Sasao
    • Organizer
      The 12th IEEE International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP2012)
    • Place of Presentation
      Fukuoka, Japan
    • Related Report
      2012 Annual Research Report
  • [Presentation] On a wideband fast Fourier transform for a radio telescope2012

    • Author(s)
      H. Nakahara, H. Nakanishi, and T. Sasao
    • Organizer
      The 3rd International Workshop on Highly Efficient Accelerators and Reconfigurable Technologies (HEART 2012)
    • Place of Presentation
      Okinawa, Japan
    • Related Report
      2012 Annual Research Report
  • [Presentation] Fast constant weight codeword to index converter2011

    • Author(s)
      J. T. Butler and T. Sasao
    • Organizer
      The 54th IEEE International Midwest Symposium on Circuits and Systems
    • Place of Presentation
      Korea
    • Related Report
      2013 Final Research Report
  • [Presentation] On a prefetching heterogeneous MDD machine2011

    • Author(s)
      H. Nakahara, T. Sasao, and M. Matsuura
    • Organizer
      The 54th IEEE International Midwest Symposium on Circuits and Systems
    • Place of Presentation
      Korea
    • Related Report
      2013 Final Research Report
  • [Presentation] Index generation functions : Recent developments2011

    • Author(s)
      T. Sasao
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2011)
    • Place of Presentation
      Tuusula, Finland
    • Related Report
      2013 Final Research Report
    • Invited
  • [Presentation] A Comparison of heterogeneous multi-valued decision diagram machines for multiple-output logic functions2011

    • Author(s)
      H. Nakahara, T. Sasao and M. Matsuura
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2011)
    • Place of Presentation
      Tuusula, Finland
    • Related Report
      2013 Final Research Report 2011 Annual Research Report
  • [Presentation] Numeric function generators using piecewise arithmetic expressions2011

    • Author(s)
      S. Nagayama, T. Sasao, and J. T. Butler
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2011)
    • Place of Presentation
      Tuusula, Finland
    • Related Report
      2013 Final Research Report 2011 Annual Research Report
  • [Presentation] Fast hardware computation of x mod z2011

    • Author(s)
      J. T. Butler and T. Sasao
    • Organizer
      18th Reconfigurable Architectures Workshop (RAW 2011)
    • Place of Presentation
      Anchorage, Alaska, USA
    • Related Report
      2013 Final Research Report
  • [Presentation] Index generation functions: Recent developments (招待講演)2011

    • Author(s)
      T. Sasao
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2011)
    • Place of Presentation
      Tuusula, Finland
    • Related Report
      2011 Annual Research Report
    • Invited
  • [Presentation] Fast constant weight codeword to index converter2011

    • Author(s)
      J. T. Butler and T. Sasao
    • Organizer
      The 54th IEEE International Midwest Symposium on Circuits and Systems
    • Place of Presentation
      Seoul, Korea
    • Related Report
      2011 Annual Research Report
  • [Presentation] On a prefetching heterogeneous MDD machine2011

    • Author(s)
      H. Nakahara, T. Sasao and M. Matsuura
    • Organizer
      The 54th IEEE International Midwest Symposium on Circuits and Systems
    • Place of Presentation
      Seoul, Korea
    • Related Report
      2011 Annual Research Report
  • [Presentation] Four decades of multi-valued logic : Lists of highly cited papers

    • Author(s)
      T. Sasao
    • Organizer
      International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Toyama, Japan
    • Related Report
      2013 Final Research Report
  • [Presentation] An application of autocorrelation functions to find linear decompositions for incompletely specified index generation functions

    • Author(s)
      T. Sasao
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • Place of Presentation
      Toyama, Japan
    • Related Report
      2013 Final Research Report
  • [Presentation] A machine to evaluate decomposed multi-terminal multi-valued decision diagrams for characteristic functions

    • Author(s)
      H. Nakahara, T. Sasao and M. Matsuura
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • Place of Presentation
      Toyama, Japan
    • Related Report
      2013 Final Research Report
  • [Presentation] Minimization of the number of edges in an EVMDD by variable grouping for fast analysis of multi-state systems

    • Author(s)
      S. Nagayama, T. Sasao, and J. T. Butler
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • Place of Presentation
      Toyama, Japan
    • Related Report
      2013 Final Research Report
  • [Book] Memory-Based Logic Synthesis2011

    • Author(s)
      T. Sasao
    • Total Pages
      189
    • Publisher
      Springer
    • Related Report
      2011 Annual Research Report
  • [Remarks]

    • URL

      http://www.lsi-cad.com

    • Related Report
      2013 Final Research Report
  • [Remarks] Tsutomu Sasao

    • URL

      http://www.lsi-cad.com

    • Related Report
      2013 Annual Research Report
  • [Remarks] Welcome to LSI-CAD

    • URL

      http://www.lsi-cad.com

    • Related Report
      2012 Annual Research Report
  • [Remarks] Welcome to LSI-CAD

    • URL

      http://www.lsi-cad.com

    • Related Report
      2011 Annual Research Report

URL: 

Published: 2011-04-06   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi