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

2013 Fiscal Year Final Research Report

Logic synthesis using linear transformation and memories.

Research Project

  • PDF
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
Keywords線形変換 / 関数分解 / 不完全定義関数 / 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.

  • Research Products

    (39 results)

All 2014 2013 2012 2011 Other

All Journal Article (9 results) Presentation (29 results) (of which Invited: 1 results) Remarks (1 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

  • [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

    • URL

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

  • [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

    • URL

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

  • [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

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

    • Author(s)
      笹尾勤
    • Journal Title

      電子情報通信学会誌

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

    • URL

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

  • [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 Pages: 644-664

    • DOI

      10.1016/j.micpro.2012.05.009

  • [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

  • [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

    • URL

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

  • [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 Pages: 4076-4082

    • DOI

      10.1016/j.cam.2011.02.033

  • [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
    • Year and Date
      20131021-22
  • [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
    • Year and Date
      20131021-22
  • [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
    • Year and Date
      20131006-09
  • [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)
    • Year and Date
      20130926-28
  • [Presentation] Cyclic row-shift decompositions for incompletely specified index generation functions2013

    • Author(s)
      T. Sasao
    • Organizer
      IWLS-2013
    • Place of Presentation
      Austin, Texas
    • Year and Date
      20130607-08
  • [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
    • Year and Date
      20130325-27
  • [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
    • Year and Date
      20130325-27
  • [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
  • [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
  • [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
    • Year and Date
      20120904-07
  • [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
    • Year and Date
      20120819-21
  • [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
    • Year and Date
      20120531-0601
  • [Presentation] Hardware index to permutation converter2012

    • Author(s)
      J. T. Butler and T. Sasao
    • Organizer
      19th Reconfigurable Architectures Workshop
    • Place of Presentation
      Shanghai, China
    • Year and Date
      20120521-22
  • [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
    • Year and Date
      20120514-16
  • [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
    • Year and Date
      20120514-16
  • [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
    • Year and Date
      20120514-16
  • [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
    • Year and Date
      20120319-23
  • [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
    • Year and Date
      20120312-16
  • [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
    • Year and Date
      20120130-0202
  • [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
    • Year and Date
      20110807-10
  • [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
    • Year and Date
      20110807-10
  • [Presentation] Index generation functions : Recent developments2011

    • Author(s)
      T. Sasao
    • Organizer
      International Symposium on Multiple-Valued Logic (ISMVL-2011)
    • Place of Presentation
      Tuusula, Finland
    • Year and Date
      20110523-25
    • 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
    • Year and Date
      20110523-25
  • [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
    • Year and Date
      20110523-25
  • [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
    • Year and Date
      20110516-17
  • [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
  • [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
  • [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
  • [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
  • [Remarks]

    • URL

      http://www.lsi-cad.com

URL: 

Published: 2015-06-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi